| Номер документа в системі: | 135334 |
| Автор: | Летичевский А.А., Капитонова Ю.В., Волков В.А. |
| Назва документа: | Спецификация систем с помощью базовых протоколов |
| УДК | 681.3.06 |
| Мова документу | Російська |
| Аннотація | Ключевые слова: формальные методы, верификация требований, агенты и среды. Требования — это соглашения между заказчиком и разработчиком о результатах, которые должны быть получены в ходе выполнения разработки. Требования должны быть прозрачными как длязаказчика, так и для разработчика. Уровень их формализации зависит от взаимопонимания, достигнутого между сторонами, и от опыта тех, кто вовлечен в процесс идентификации требований. |
| Кількість сторінок | С. 3-21. |