Ершов С. В. Подход к формализации моделей вариантов использования в UML / С. В. Ершов // Пробл. программирования. - 2001. - № 3-4. - С. 48-58. - Библиогр.: 11 назв. - рус.Проаналізовано формалізацію семантики моделей варіантів використання на основі системи алгоритмічних алгебр (САА) для трьох різновидів: загальних, варіантів з альтернативами, узагальнених. Запропоновано регулярні варіанти, що у порівнянні з традиційними більш адекватно передають потік взаємодій, які здійснюються моделлю програмного забезпечення. Доведено, що будь-який варіант використання може бути представлений у регулярній формі, тобто в операторному виразі САА. Для розробки високорівневих моделей варіантів використання в сучасних методах проектування програмного забезпечення, які грунтуються на мові UML, застосовано алгоритмічні алгебри Глушкова. Індекс рубрикатора НБУВ: З973-018.1
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|