| |
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры [Текст] / В. Иванников, А. Камкин, А. Косачев, В. Кулямин
// Программирование. – 2007. – № 5. – 47-61.
Контрактные спецификации в форме пред- и постусловий широко используются в программной инженерии для формального описания интерфейсов программных компонентов |
