СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
КОНТРАКТНЫЕ СПЕЦИФИКАЦИИ (программирование) |
Пред- и постусловия на входные и выходные данные, инварианты целостности данных. Широко используются в программной инженерии для формального описания интерфейсов программных компонентов.
СИНОНИМЫ И УСЛОВНЫЕ СИНОНИМЫ
контрактных спецификаций метод |
ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ КАНТРАКТНЫЯ СПЕЦЫФІКАЦЫІ (праграмаванне) |
ИСТОЧНИКИ ИНФОРМАЦИИ
Труды Института системного программирования РАН. "Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения / А. С. Камкин".
Текстовый документ "Методы формальных спецификаций программ".
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |