Cover Image

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

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...

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.2: 004.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/715
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

Approaches to realization Yen’s algorithm for systems with the shared memory
by: Pogorilyy, S.D., et al.
Published: (2025)

Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Information technology for the development and analysis of models of subject areas for their study
by: Lyubchenko, V.V.
Published: (2015)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
by: Palagin, O.V., et al.
Published: (2020)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

Software engineering ontologies categorization
by: N. A. Sydorov, et al.
Published: (2018)

Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
by: Palagin, O.V., et al.
Published: (2018)

The method of requirements prioritization in software engineering
by: Nesterenko, O.V.
Published: (2024)

Some aspects of software engineering for AI-based systems
by: Liubchenko, V.V.
Published: (2023)

Software engineering and big data software
by: Sydorov, N.O., et al.
Published: (2023)

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

Ecosystem research in software engineering
by: Sydorov, N.A.
Published: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Towards ecosystem research in the software engineering
by: Sydorov, M.O.
Published: (2024)

Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2023)

About one approach to automatic creation of formal queries to ontological knowledge bases
by: Palagin, O.V., et al.
Published: (2024)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Formation of the readiness of future bachelors of software engineering for professional communication
by: Sidorova, N.M.
Published: (2015)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
by: Glybovets, A.M.
Published: (2025)

Research and development workstation environment: the new class of Current Research Information Systems
by: Palagin, O.V., et al.
Published: (2018)

Application of machine learning in software engineering: an overview
by: Moroz, O.H., et al.
Published: (2019)

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

Module-based scientific physics engine architecture
by: Bernatovych, A.A., et al.
Published: (2023)

Master’s thesis in software engineering – object, subject, contents of research
by: Sydorov, M.O.
Published: (2022)

Modern restful api dls and frameworks for restful web services api schema modeling, documenting, visualizing
by: Malakhov, K.S., et al.
Published: (2019)

Ontology-oriented data integration on the Semantic Web
by: Chystyakova, I.S.
Published: (2025)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Software means of modeling of the vector type of reactive engine control system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Approach to the building intelligent decision support systems on the basis of ontology
by: Lytvyn, V.V.
Published: (2025)

Information system for hostilities mechanized forces modelling based on ontology
by: Oborska, O.V.
Published: (2019)

Mixed topic-entity ontology for enhanced topic vector-spaced model
by: Shabinskiy, A.S.
Published: (2025)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)