Летичевский А. А. Об одном классе базовых протоколов / А. А. Летичевский // Пробл. програмув. - 2005. - № 4. - С. 3-19. - Библиогр.: 7 назв. - рус.Рассмотрена проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследован специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, произведено порождение символьных трасс, используемых для тестирования создаваемой системы по различным критериям. Індекс рубрикатора НБУВ: З970.81
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|