design-by-contract

7зной

5ответ

Каковы наилучшие методы разработки программного обеспечения по контракту

Каковы наилучшие методы программирования Design by Contract. В колледже я узнал, дизайн по контракту Парадигма (в среде ОО) Мы узнали три способа решения этой проблемы: 1) Всего Программирование: Охва

1зной

1ответ

Можно ли использовать статическую проверку Microsoft.Contracts без Team System?

Помимо требования к Visual Studio Team System, чтобы иметь возможность устанавливать Microsoft.Contacts со статическим контролером, можно ли запустить статическую проверку без командной системы? Или э

11зной

2ответ

Как дизайн .NET 4.0 по контракту сравнивается с Eiffel?

У меня было «удовольствие», которое преподавали Эйфелю в колледже не кем бы то ни было, кроме самого Бертран Мейера, и просто прочитал, что .NET 4.0 будет включать дизайн по контракту. Может ли кто-ни

5зной

3ответ

Дизайн по контракту в C для использования в автоматизированной теоретической проверке

Я работаю над несколькими проектами C, и я хотел бы использовать автоматическую теорему, подтверждающую проверку кода. В идеале я просто хотел бы использовать ATP для проверки контрактов функций. Суще

4зной

2ответ

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

Я использовал Microsoft CodeContracts в течение трех недель, и теперь половина моего кода - это просто контракты. У меня есть десятки недоказанных мест, я не могу использовать проверку времени выполне

45зной

10ответ

Хорошая библиотека Design-by-Contract для Java?

Несколько лет назад я сделал обзор пакетов DbC для Java, и я не был полностью доволен ни одним из них. К сожалению, у меня не было хороших заметок о моих выводах, и я предполагаю, что все изменилось.