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

• Амонс Олександр Анатолійович (фізико-математичні науки)

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