Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000147199<.>) |
Загальна кількість знайдених документів : 1
|
Летичевский А. Ад. Спецификация систем с помощью базовых протоколов / А. Ад. Летичевский, Ю. В. Капитонова, В. А. Волков, А. А. Летичевский, С. Н. Баранов, В. П. Котляров, Т. Вейгерт // Кибернетика и систем. анализ. - 2005. - 41, № 4. - С. 3-21. - Библиогр.: 23 назв. - рус.Висвітлено теоретичні основи формалізації та верифікації вимог за допомогою базових протоколів, що використовують поняття атрибутної транзиційної системи. Описано аспекти реалізації системи VRS і статистичні результати використання цих засобів у деяких великомасштабних промислових розробках. Ключ. слова: формальные методы, верификация требований, агенты и среды Індекс рубрикатора НБУВ: З970.3
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|