Описание тега spec#
SpeC# - это формальный язык для контрактов API (под влиянием JML, AsmL и Eiffel), который расширяет C# конструкциями для ненулевых типов, предусловий, постусловий и инвариантов объектов.
2
ответа
Что вы думаете о библиотеке инструментов управляемого контракта
Недавно я видел это видео http://channel9.msdn.com/pdc2008/TL51/ о библиотеке управляемых инструментов Контракта, которая, безусловно, выглядит очень интересной. К сожалению, кажется, что они не включат это в сам язык, который был бы более элегантны…
26 янв '09 в 14:37
1
ответ
Что не так с не обнуляемыми объектами?
В последнее время я смотрю на DbC и SpeC#, которые, похоже, поддерживают необнуляемые объекты. К сожалению, SpeC#, похоже, был заброшен. Похоже, в SpeC# встроено много хороших языковых функций, так почему же он был заброшен? Будут ли какие-либо проб…
28 янв '09 в 09:49
2
ответа
Как определить предварительные условия для внешнего состояния, используя кодовые контракты?
Как мне поставить предварительное условие на Invoke метод в следующем интерфейсе, заявив, что объект, обозначенный ObjectId должен существовать? interface IDeleteObjectCommand { Guid ObjectId { get; } void Invoke(); } Попытка № 1 У меня уже есть ком…
06 мар '12 в 14:32
2
ответа
Контрактное программирование
Может кто-нибудь объяснить концепции, которые SpeC# может переходить в C# 4.0, в отношении контрактов кода? Что такое контракты кода (похоже, шаблон проверки времени компиляции) я должен быть взволнован об этом? Правильно ли я предположил, что мы пе…
23 дек '08 в 23:44
1
ответ
SpeC#: это хорошо для меня?
Я работаю над LOB-фреймворком с интерфейсом SL и MVC, бэкэндом WCF и несколькими сервисными модулями, работающими на сервере. Я смотрел на SpeC#, чтобы посмотреть, поможет ли он мне в любом случае. Необнуляемые типы и проверенные исключения сами по …
24 июн '11 в 13:23
1
ответ
Как установить Microsoft SpeC# 2010
На MS-Research у Microsoft есть C#-совместимый язык под названием SpeC#. http://research.microsoft.com/en-us/projects/specsharp/ Я нашел установщик.msi только для Visual Studio 2008. http://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a…
15 мар '11 в 08:31
1
ответ
Инициализировать ненулевой зубчатый массив
В настоящее время я изучаю вычисления в UCLAN, и мне нужно написать программу, используя SpeC#, и мне нужен двумерный зубчатый массив, который не может быть нулевым. Я знаю, для нормального массива я могу объявить это так T![]! но когда я хочу объяв…
25 мар '14 в 13:59
1
ответ
Запуск файла результатов исследования компьютера TestSuite(Spec Explorer) в консольном приложении
У меня возникла проблема при попытке следовать примеру Spec Explorer при использовании Visual Studio 2012. Я перешел по этой ссылке, но застрял при запуске файла Spec Explorer с помощью консольного приложения. Моя проблема начинается со следующего п…
04 ноя '14 в 09:09
1
ответ
Как сбросить список _version, чтобы предотвратить дублирование состояний в Spec Explorer
Я сделал проект Spec Explorer, который имеет список в качестве системной переменной. Почти в каждом правиле этот список адаптирован для получения правильных результатов. Но когда я исследую свой проект, я получаю двойные состояния. Если я сравню эти…
17 мар '15 в 15:37
2
ответа
Проверьте членство в Active Directory.
Как мне выполнить итерацию группы, чтобы узнать, является ли данный пользователь членом группы? Я знаю, что могу использовать IsInRole для объекта WindowsPrincipal, но по какой-то причине он не всегда работает для меня, он не выдает ошибку или не вы…
01 фев '10 в 19:09
1
ответ
Будущее Сингулярности
Некоторое время назад Microsoft выпустила исследовательскую ОС под названием Singularity, в которой был предложен ряд очень интересных и инновационных идей. Одним из компонентов, который я нашел особенно интересным, был компилятор C#-ish Spe C#, кот…
30 июн '10 в 20:38
11
ответов
Почему у Java, C# и C++ нет диапазонов?
Ada, Pascal и многие другие языки поддерживают диапазоны, способ подтипить целые числа. Диапазон - это целочисленное значение со знаком, которое варьируется от значения (первое) до другого (последнее). Легко реализовать класс, который делает то же …
29 янв '09 в 10:53
2
ответа
Проекты, использующие SpeC#/Code Contracts.NET
Я заинтересован в том, чтобы узнать больше об использовании SpeC# и / или его дополнительного кода Code Contracts. Есть ли живой проект, который в настоящее время использует любую технологию? Спасибо, МэджикАнди. РЕДАКТИРОВАТЬ: Учитывая ответ David …
22 апр '09 в 14:05
1
ответ
Экспорт тестовых скриптов из Spec Explorer
Может кто-нибудь объяснить, как использовать концепцию TestAdapter в Microsoft Spec Explorer, чтобы экспортировать тесты... скажем, в формате.CSV? Я пробовал просматривать, но нигде не получил четких ответов. Предпочитаю получить решение в C#
27 янв '14 в 09:49
6
ответов
2
ответа
Какие ключевые слова / инструменты существуют, чтобы помочь компилятору оптимизировать
Часто нам говорят такие вещи, как, Если вы вызываете метод с возвращаемым значением, которое не изменяется, выведите его из цикла. например, при написании кода вроде: for(int i=0; i < Instance.ExpensiveNonChangingMethod(); i++) { // Stuff } Мне б…
19 июл '11 в 07:11
1
ответ
Различия между кодом контракта и спецификацией
Я хочу реализовать DBC в C#. Я столкнулся с SpeC# и Кодексом контракта для этого.В чем разница между SpeC# и Code Contract?
19 окт '14 в 21:52
1
ответ
Является ли SpeC# достаточно стабильным для использования?
Кто-нибудь здесь регулярно использует SpeC#? Я хотел бы знать, достаточно ли он стабилен и силен, прежде чем начать его везде использовать. Похоже, что синтаксис влияет на C# 4.0, что, надеюсь, облегчит обновление после выхода 4.0. Мысли?
12 янв '09 в 23:07