![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000158260<.>) |
Загальна кількість знайдених документів : 1
|
Демченко О. М. Вибір та обгрунтування формально-логічного апарату для інтегральної моделі САС у задачі аналізу несуперечності моделей САС та бізнес-правил / О. М. Демченко, О. П. Сирота // Наук. вісті НТУУ "КПІ". - 2007. - № 3. - С. 34-39. - Бібліогр.: 18 назв. - укp.Розглянуто проблему аналізу несуперечності складних автоматизованих систем (САС) і бізнес-правил. Для розв'язання цієї проблеми ставиться задача розробки підходів до аналізу несуперечності, які базуються на інтеграції формальних моделей систем у вигляді UML та бізнес-правил у вигляді SBVR. Надано мультиформальне визначення інтегральної моделі САС. Запропоновано підходи до аналізу несуперечності інтегральної моделі САС. Індекс рубрикатора НБУВ: З965.95
Рубрики:
Шифр НБУВ: Ж16492 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|