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