Пошук академічних текстів

Інформація × Реєстраційний номер 0220U103735, 0114U003831 , Науково-дослідна робота Назва роботи Інформаційна технологія автоматизації проектування та тестування об'єктно-орієнтованого програмного забезпечення. Назва етапу роботи Керівник роботи Смірнов Олексій Анатолійович, Доктор технічних наук Дата реєстрації 16-11-2020 Організація виконавець Центральноукраїнський національний технічний університет Опис етапу  Удосконалено метод синтезу моделей станів, у якому на відміну від існуючих вихідна проектна інформація, задана послідовностями “подія – дія” класу об’єктно-орієнтованого ПЗ, представляється як алфавітне відображення на основі алгебри регулярних подій, а побудова безпосередньо скінченно-автоматної моделі станів здійснюється за допомогою адаптованого метода абстрактного синтезу скінченного автомата, що в цілому забезпечує формалізацію процесу визначення станів і їх взаємозв’язків у життєвому циклі об’єкта програмного забезпечення на стадії об’єктно-орієнтованого проектування. Опис продукції Автори роботи Доренський Олександр Павлович Додано в НРАТ 2020-11-16 Закрити