Добро пожаловать,
Свежие материалы
Обсуждения
Микропроцессор "Эверест" (1)
Запрет регистрации на osrc.info (1)
Ответ Javе и Flash'у (70)
Новая программа поддержки от Microsoft (2)
Solaris будет портирован на Itanium и POWER? (3)
9 декабря вышла новая сборка Xameleon (9)
рассылка (2)
ЗРОС (3)
Новый стиль OSRC.info (2)
Обсуждение статьи "Взгляд на развитие YellowTAB" (124)В Сети
Гостей: 2, Пользователей: 0 ...
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
рекорд он-лайн: 2015
(Пользователей: 1, Гостей: 2014) в 29.03.2010 00:07
Пользователей: 1007
Новичок: alicemokas
Spec#: Расширение C#
 Система программирования Spec# - новая попытка создать более эффективный способ создания и поддержки высококачественного ПО. Spec# - расширение объектно-ориентированного языка C#. Он расширяет систему типов C# понятием не-null типов и проверяемых исключений. Он обеспечивает контрактные методы в форуме пред- и пост-условий, а также объектные инварианты. |
Комментарии
| Roman I Khimov |19.07.2005 19:51 | |
| Комментарии: 952 | Взгляните на "Other contributors", почитайте http://www.research.microsoft.com/specsharp/papers/krml136.pdf Может быть интересно. |
| Roman I Khimov |20.07.2005 02:50 | |
| Комментарии: 952 | И вот еще чуть-чуть от MS: http://research.microsoft.com/fse/asml/ |
Комментарии доступны только авторизованным пользователям, авторизуйтесь или зарегистрируйтесь на сайте здесь