Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2025
• Випуск: 2-3
• Сторінки: 221-232
• ISSN: 1727-4907
• Автори та афіліації: O.V. Palagin — Glushkov Institute of Cybernetics NAS of Ukraine; M.G. Petrenko — Glushkov Institute of Cybernetics NAS of Ukraine; V.Yu. Velychko — Glushkov Institute of Cybernetics NAS of Ukraine; K.S. Malakhov — Glushkov Institute of Cybernetics NAS of Ukraine
• Автори: Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.
• Формат: Стаття
• Мова: Російська
• Опубліковано: PROBLEMS IN PROGRAMMING 2025
• Теми: UDC 004.2: 004.3
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/715
• Назва журналу: Problems in programming

The given paper considered a generalized model representation of the SS ICOP. Represented complete software system development process. Developed relevant formal models of SS ICOP, represented as mathematical expressions, UML diagrams, and also described the three-tier architecture of SS ICOP in a c...