Об одном классе базовых протоколов
dc.contributor.author | Летичевский, А.А. | |
dc.date.accessioned | 2008-07-25T15:36:39Z | |
dc.date.available | 2008-07-25T15:36:39Z | |
dc.date.issued | 2005 | |
dc.description.abstract | Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, производится порождение символьных трасс, используемых для тестирования создаваемой системы по различными критериями. | en_US |
dc.identifier.citation | Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос. | en_US |
dc.identifier.issn | 1727-4907 | |
dc.identifier.udc | 623 | |
dc.identifier.udc | 518.3 | |
dc.identifier.udc | 517.5 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/1318 | |
dc.language.iso | ru | en_US |
dc.publisher | Інститут програмних систем НАН України | en_US |
dc.status | published earlier | en_US |
dc.subject | Методи і засоби програмної інженерії | en_US |
dc.title | Об одном классе базовых протоколов | en_US |
dc.title.alternative | On the One Class of Basic Protocols | en_US |
dc.type | Article | en_US |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 01-Летичевский#3.pdf
- Розмір:
- 292.09 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.8 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: