Новость: Spec#: Расширение C#
(Категория: .NET)
Добавил Roman I Khimov
Вторник, 19 Июль 2005, 19:48
Система программирования Spec# - новая попытка создать более эффективный способ создания и поддержки высококачественного ПО. Spec# - расширение объектно-ориентированного языка C#. Он расширяет систему типов C# понятием не-null типов и проверяемых исключений. Он обеспечивает контрактные методы в форуме пред- и пост-условий, а также объектные инварианты.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.2810 )
(Категория: .NET)
Добавил Roman I Khimov
Вторник, 19 Июль 2005, 19:48
Система программирования Spec# - новая попытка создать более эффективный способ создания и поддержки высококачественного ПО. Spec# - расширение объектно-ориентированного языка C#. Он расширяет систему типов C# понятием не-null типов и проверяемых исключений. Он обеспечивает контрактные методы в форуме пред- и пост-условий, а также объектные инварианты.
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.2810 )