Об одном классе базовых протоколов

• Date: 2005
• Main Author: Летичевский, А.А.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2005
• Subjects: Методи і засоби програмної інженерії
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1318
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос.

Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором ра...