Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
специфікація, спецификация
спецификация программ
Документи:
Бабенко, Л. П.
Как понять программу, характеристический анализ современных подходов к спецификации программ [Текст] / Л. П. Бабенко // Кибернетика и системный анализ. – 2012. – Т. 48, № 2. – С. 140-150.
Кузьмин, Е. В.
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Е. В. Кузьмин // Программирование. – 2008. – № 1. – С. 61-77.
Інформаційно-пошукова система
'УФД/Бібліотека'