Что такое SpeC# Я слышал?

Question

Что такое SpeC# Я слышал?

Answer 1

SpeC# является формальным языком для API- договоров (под влиянием JML, ASML, и Eiffel), который простирается C# с конструкции для непустых типов, предпосылок, постусловий и объектов инвариантов. SpeC# поставляется с методологией звукового программирования , что разрешает спецификацию и аргументацию об объектных инвариантах даже в наличии обратных вызовов и многопоточность. SpeC# является исследованием транспортного средства, которое использовалось для изучения спецификаций и динамических/статических инструментов, которые используют их.

Более Spec#

Answer 2

Выезд сайта Microsoft на языке http://research.microsoft.com/en-us/projects/specsharp/

Answer 3

Вот Microsoft Research page изложением проекта.

С сайтом:

спецификация система # программированием новой попытки более экономически эффективным способом для разработки и поддержания высокого качества программного обеспечения.

Answer 4

Это было заброшено.

Is Spec# stable enough to use?

Answer 5

SpeC# является языком исследования с участием Проектирование по контракту.

Обратите внимание, что Microsoft решила интегрировать контракты кода в предстоящую версию .NET Framework 4.0. Более подробная информация:

http://weblogs.asp.net/podwysocki/archive/2008/11/08/code-contracts-for-net-4-0-spec-comes-alive.aspx

Answer 6

SpeC# является языком программирования, который является существенным расширением C#. Это добавляет возможность определять контракты по методам. Контакты - это условия, согласно которым должен быть равен, чтобы метод был действительным. Примером контакта будет указание, что при запуске метода определенный параметр не должен быть пустым.

Включает инструмент, который может быть запущен, что пытается доказать, что условия гарантированы.

Это был исследовательский проект Microsoft, который теперь был оставлен, но работа, которая была выполнена, составляет основу code contracts in .net 4.0.

Spec# on wikipedia