Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Иванников, В. П.
    Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры [Текст] / Институт системного программирования РАН // Программирование. — 2007. — С. 47-61.

Автор: Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К.

- Анотація:

Контрактные спецификации в форме пред- и постусловий широко используется в программной инженерии для формального описания интерфейсов программных компонентов

- Є складовою частиною документа:

- Теми документа

  • УДК // Інтегральні перетворення. Операційне обчислення



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт