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

dc.contributor.authorЛетичевский, А.А.
dc.date.accessioned2008-07-25T15:36:39Z
dc.date.available2008-07-25T15:36:39Z
dc.date.issued2005
dc.description.abstractРассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, производится порождение символьных трасс, используемых для тестирования создаваемой системы по различными критериями.en_US
dc.identifier.citationОб одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос.en_US
dc.identifier.issn1727-4907
dc.identifier.udc623
dc.identifier.udc518.3
dc.identifier.udc517.5
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/1318
dc.language.isoruen_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectМетоди і засоби програмної інженеріїen_US
dc.titleОб одном классе базовых протоколовen_US
dc.title.alternativeOn the One Class of Basic Protocolsen_US
dc.typeArticleen_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
Опис: