Проаналізовано формалізацію семантики моделей варіантів використання на основі системи алгоритмічних алгебр (САА) для трьох різновидів: загальних, варіантів з альтернативами, узагальнених. Запропоновано регулярні варіанти, що у порівнянні з традиційними більш адекватно передають потік взаємодій, які здійснюються моделлю програмного забезпечення. Доведено, що будь-який варіант використання може бути представлений у регулярній формі, тобто в операторному виразі САА. Для розробки високорівневих моделей варіантів використання в сучасних методах проектування програмного забезпечення, які грунтуються на мові UML, застосовано алгоритмічні алгебри Глушкова.

• Єршов Сергій Володимирович (1965–) (фізико-математичні науки)
• Єршов Сергій Володимирович (1972–) (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"