СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Пред- и постусловия на входные и выходные данные, инварианты целостности данных. Широко используются в программной инженерии для формального описания интерфейсов программных компонентов.

    СИНОНИМЫ И УСЛОВНЫЕ СИНОНИМЫ

контрактных спецификаций метод

ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ         КАНТРАКТНЫЯ СПЕЦЫФІКАЦЫІ (праграмаванне)

        ИСТОЧНИКИ ИНФОРМАЦИИ
        Труды Института системного программирования РАН. "Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения / А. С. Камкин".
        Текстовый документ "Методы формальных спецификаций программ".