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

=LDR  00000cx\\j22001933\\45\\
=001  BY-NLB-ar6673447
=005  20151205121120.1
=100  \\$a20131101abely50\\\\\\ca0
=152  \\$bDVNLB
=250  \\$aКАНТРАКТНЫЯ СПЕЦЫФІКАЦЫІ (праграмаванне)
=300  1\$aПерад- і пасляўмовы на ўваходныя і выхадныя даныя, інварыянты цэласнасці даных. Шырока выкарыстоўваюцца ў праграмнай інжынерыі для фармальнага апісання інтэрфейсаў праграмных кампанентаў.
=450  \\$aкантрактных спецыфікацый метад
=550  \\$5w$3BY-NLB-ar6673414$aКОНТРАКТНЫЕ СПЕЦИФИКАЦИИ (программирование)
=686  \\$2rugasnti$a50.05/41
=801  \0$aBY$bBY-HM0000$c20131101
=856  4\$uhttp://citforum.ru/SE/testing/kamkin/$zПрацы Інстытута сістэмнага праграміравання РАН. "Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения / А. С. Камкин".
=856  4\$uhttp://cat.convdocs.org/docs/index-75842.html$zТэкставы дакумент "Методы формальных спецификаций программ".
=999  \\$f742 NLB-NDARD$t20131101
=999  \\$h28 NLB-NDARD$t20131112