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

Справка

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

    СІНОНІМЫ І ЎМОЎНЫЯ СІНОНІМЫ

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

ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ         КОНТРАКТНЫЕ СПЕЦИФИКАЦИИ (программирование)

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