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)

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)

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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Technological trends & software engineering education: a systematic review study
by: Nesterenko, O.V.
Published: (2023)

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

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

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

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

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

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

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

Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures
by: Manziuk, E.A., et al.
Published: (2023)

Ontological system processing of databases of scientific publications
by: Palagin, O.V., et al.
Published: (2023)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
by: Pogorilyy, S.D., et al.
Published: (2018)

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

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Ecosystems of software engineering
by: S. L. Kryvyj, et al.
Published: (2020)

About building of ontology systems of different purposes
by: A. V. Palagin, et al.
Published: (2016)