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...
Gespeichert in:
| Datum: | 2025 |
|---|---|
| Hauptverfasser: | Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/715 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
About development of an ontological toolkit
von: Palagin, A.V., et al.
Veröffentlicht: (2015)
von: Palagin, A.V., et al.
Veröffentlicht: (2015)
Approaches to realization Yen’s algorithm for systems with the shared memory
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)
Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)
Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
Software engineering ontologies categorization
von: N. A. Sydorov, et al.
Veröffentlicht: (2018)
von: N. A. Sydorov, et al.
Veröffentlicht: (2018)
Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)
Information technology for the development and analysis of models of subject areas for their study
von: Lyubchenko, V.V.
Veröffentlicht: (2015)
von: Lyubchenko, V.V.
Veröffentlicht: (2015)
50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)
von: Sydorov, N.A.
Veröffentlicht: (2019)
On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)
von: Jakub, K.
Veröffentlicht: (2017)
The method of requirements prioritization in software engineering
von: Nesterenko, O.V.
Veröffentlicht: (2024)
von: Nesterenko, O.V.
Veröffentlicht: (2024)
Software engineering and big data software
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)
von: Kolchin, A.V.
Veröffentlicht: (2018)
Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
von: Palagin, O.V., et al.
Veröffentlicht: (2018)
von: Palagin, O.V., et al.
Veröffentlicht: (2018)
Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)
von: Liubchenko, V.V.
Veröffentlicht: (2023)
Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)
von: Sydorov, N.A.
Veröffentlicht: (2025)
Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)
von: Sydorov, М.О.
Veröffentlicht: (2019)
Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)
von: Sydorov, M.O.
Veröffentlicht: (2023)
Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)
von: Sydorov, M.O.
Veröffentlicht: (2024)
About one approach to automatic creation of formal queries to ontological knowledge bases
von: Palagin, O.V., et al.
Veröffentlicht: (2024)
von: Palagin, O.V., et al.
Veröffentlicht: (2024)
Formation of the readiness of future bachelors of software engineering for professional communication
von: Sidorova, N.M.
Veröffentlicht: (2015)
von: Sidorova, N.M.
Veröffentlicht: (2015)
Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)
Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)
Application of machine learning in software engineering: an overview
von: Moroz, O.H., et al.
Veröffentlicht: (2019)
von: Moroz, O.H., et al.
Veröffentlicht: (2019)
Research and development workstation environment: the new class of Current Research Information Systems
von: Palagin, O.V., et al.
Veröffentlicht: (2018)
von: Palagin, O.V., et al.
Veröffentlicht: (2018)
Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)
Specialized search engine system of scientific materials in Ukrainian language with social aspects
von: Glybovets, A.M.
Veröffentlicht: (2025)
von: Glybovets, A.M.
Veröffentlicht: (2025)
Master’s thesis in software engineering – object, subject, contents of research
von: Sydorov, M.O.
Veröffentlicht: (2022)
von: Sydorov, M.O.
Veröffentlicht: (2022)
Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
Software means of modeling of the vector type of reactive engine control system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Modern restful api dls and frameworks for restful web services api schema modeling, documenting, visualizing
von: Malakhov, K.S., et al.
Veröffentlicht: (2019)
von: Malakhov, K.S., et al.
Veröffentlicht: (2019)
Ecosystems of software engineering
von: S. L. Kryvyj, et al.
Veröffentlicht: (2020)
von: S. L. Kryvyj, et al.
Veröffentlicht: (2020)
About building of ontology systems of different purposes
von: A. V. Palagin, et al.
Veröffentlicht: (2016)
von: A. V. Palagin, et al.
Veröffentlicht: (2016)
Ontology-oriented data integration on the Semantic Web
von: Chystyakova, I.S.
Veröffentlicht: (2025)
von: Chystyakova, I.S.
Veröffentlicht: (2025)
Software engineering and big data software
von: Sydorov, M.O., et al.
Veröffentlicht: (2022)
von: Sydorov, M.O., et al.
Veröffentlicht: (2022)
Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)
von: Glushko, I.M.
Veröffentlicht: (2025)
ANTHILL: a progressive formalization language for agent-supported software projects
von: Shevchenko, R.S., et al.
Veröffentlicht: (2026)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2026)
Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2023)
von: Nesterenko, O.V.
Veröffentlicht: (2023)
Approach to the building intelligent decision support systems on the basis of ontology
von: Lytvyn, V.V.
Veröffentlicht: (2025)
von: Lytvyn, V.V.
Veröffentlicht: (2025)
Information system for hostilities mechanized forces modelling based on ontology
von: Oborska, O.V.
Veröffentlicht: (2019)
von: Oborska, O.V.
Veröffentlicht: (2019)
Ähnliche Einträge
-
About development of an ontological toolkit
von: Palagin, A.V., et al.
Veröffentlicht: (2015) -
Approaches to realization Yen’s algorithm for systems with the shared memory
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025) -
Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018) -
Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018) -
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020)