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

dc.contributor.author	Летичевский, А.А.
dc.date.accessioned	2008-07-25T15:36:39Z
dc.date.available	2008-07-25T15:36:39Z
dc.date.issued	2005
dc.identifier.citation	Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1318
dc.description.abstract	Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, производится порождение символьных трасс, используемых для тестирования создаваемой системы по различными критериями.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	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
dc.status	published earlier	en_US
dc.identifier.udc	623
dc.identifier.udc	518.3
dc.identifier.udc	517.5