.Net DevelopmentЖурнал

Журнал

15 дек 2005

Хочу сообщить вам, дорогие сограждане;), что на известнейшем сайте BrainBench
любой желающий может пройти сертификацию на знание платформы .Net и языка программирования C#. Пока бесплатно!

Ссылка

15 дек 2005

Ознакомился с весьма любопытным проектом, призванным упростить задачи разработки качественного программного обеспечения:
"The Spec# Programming System" от Microsoft Research

Данная система представляет собой надмножество языка C#, вот выдержка из официального документа "The Spec# Programming System: An Overview":

"The Spec# programming system is a new attempt at a more cost effective
way to develop and maintain high-quality software. This paper describes the
goals and architecture of the Spec# programming system, consisting of the objectoriented
Spec# programming language, the Spec# compiler, and the Boogie static
program verifier. The language includes constructs for writing specifications that
capture programmer intentions about how methods and data are to be used, the
compiler emits run-time checks to enforce these specifications, and the verifier
can check the consistency between a program and its specifications."

Официальный сайт  проекта:

Рекомендую к изучению!

Ссылка

4 дек 2005

Добавил в список участников всех кандидатов и сделал сообщество открытым:)
Заходите к нам!;)
В ближайшее время планирую написать несколько статей по Managed DirectX, раскрыть основы данной технологии так сказать.

Ссылка

Архив 

Следующие записи