Об одном классе базовых протоколов
Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором ра...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2005 |
Автор: | Летичевский, А.А. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2005
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1318 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Послуга «КО-1. Повторне використання об’єктів» для захищеної ОС на базі GNU/Linux з розширенням RSBAC
за авторством: Анісімов, А.В., та інші
Опубліковано: (2010) -
Алгоритм пошуку кореферентних об’єктів в україномовних текстах з використанням дерев рішень
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2022) -
Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
за авторством: Ткачук, Н., та інші
Опубліковано: (2010) -
Подход к реализации среды разработки для dsl
за авторством: Рябко, В.А.
Опубліковано: (2007) -
Реінженірінг баз даних інформаційних систем з розгалуженою мережею пунктів збору первинной інформацій
за авторством: Алексеев, В.А., та інші
Опубліковано: (2005)