Розглянуто проблему швидкого створення ефективних веб-застосунків одного класу з використанням формальних засобів. Запропоновано концептуальний підхід до її розв'язання на основі аналізу особливостей побудови веб-застосунків. Підхід базується на визначенні стандартної архітектури веб-застосунків і виборі його компонентів за допомогою формальних методів відповідно до вимог користувача. З цією метою використовується формальна логічна система, яка використовує розробку веб-застосунків як процес виведення формули, заданої відповідно до потреб користувача, що визначає схеми виконання модулів системи. Важливою особливістю підходу є можливість 3D-візуалізації процесу проектування системи, що створює умови для ефективної взаємодії між розробниками та інструментальними засобами розробки.

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