design-by-contract

4зной

4ответ

Есть ли у вас какие-либо советы по эффективному использованию Java Assert?

Я не вижу значительной части разработчика, использующего Java Assert, но я очень люблю их использовать. Не могли бы вы поделиться некоторыми советами по их эффективному использованию?

14зной

1ответ

Кодовые контракты Vs. Инициализаторы объектов (.net 4.0)

При номинальной стоимости кажется, что инициализаторы объектов представляют проблему для. NET 4.0 «кодовых контрактов», где обычно инвариант должен быть установлен к тому моменту завершения конструкто

10зной

5ответ

Дизайн по контрактам и конструкторам

Я использую свой собственный ArrayList для школьных целей, но для того, чтобы немного подправить вещи, я пытаюсь использовать контракты на код C# 4.0. Все было в порядке, пока мне не пришлось добавлят

5зной

2ответ

Что делать при использовании Contract.Assert (true) и метод должен что-то вернуть?

У меня есть немного кода со следующей логикой: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } В теории, всегда есть один элемент, кот

1зной

1ответ

Как заставить Entity Framework использовать интерфейсы для сгенерированных классов?

У меня есть проект, в котором клиент использует Entity Framework, и я пытаюсь абстрагировать сгенерированные классы из остальной части приложения. Один сгенерированный класс - это категория, и он гово

14зной

4ответ

Java: чистый способ автоматического броска UnsupportedOperationException при вызове hashCode() и equals()?

Мы получили ОО кодовую где в довольно большом количестве случаев hashcode() и equals() просто не работают, в основном, по следующей причине: Там нет способа направить инстанциируемый класс и добавить

4зной

3ответ

Какие хорошо известные системы были построены с использованием дизайна по контракту?

Чтобы убедить моих товарищей по команде в полезности дизайна за контрактом, я ищу известные примеры реалистичных систем, которые были построены с использованием дизайна по контракту. Ценности к реалис