Что такое SpeC#, о котором я слышал?
Что такое SpeC#, о котором я слышал?
6 ответов
SpeC# - это формальный язык для контрактов API (под влиянием JML, AsmL и Eiffel), который расширяет C# конструкциями для ненулевых типов, предусловий, постусловий и инвариантов объектов. SpeC# поставляется с разумной методологией программирования, которая позволяет специфицировать и обосновывать инварианты объекта даже при наличии обратных вызовов и многопоточности. SpeC# - это исследовательский инструмент, который использовался для изучения спецификаций и динамических / статических инструментов, которые их используют.
Больше в SpeC#
SpeC# - это язык программирования, который является существенным расширением для C#. Это добавляет возможность определять контракты по методам. Контакты - это условия, которые должны быть истинными, чтобы метод был действительным. Примером контакта может быть утверждение о том, что конкретный параметр не должен быть нулевым при запуске метода.
Он включает в себя инструмент, который может быть запущен и который пытается доказать, гарантированно ли выполнены условия.
Это был исследовательский проект Microsoft, от которого сейчас отказались, но проделанная работа лежит в основе контрактов кода в.net 4.0.
Посетите сайт Microsoft на языке http://research.microsoft.com/en-us/projects/specsharp/
SpeC# - это язык исследований, включающий в себя проектирование по контракту.
Обратите внимание, что Microsoft решила интегрировать Code Contracts в предстоящую версию.NET Framework 4.0. Больше информации:
Вот страница исследований Microsoft, описывающая проект.
С сайта:
Система программирования SpeC# - это новая попытка более экономически эффективного способа разработки и поддержки высококачественного программного обеспечения.
Это было заброшено.