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)
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)
On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)
von: Jakub, K.
Veröffentlicht: (2017)
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)
Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)
von: Kolchin, A.V.
Veröffentlicht: (2018)
50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)
von: Sydorov, N.A.
Veröffentlicht: (2019)
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)
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)
The method of requirements prioritization in software engineering
von: Nesterenko, O.V.
Veröffentlicht: (2024)
von: Nesterenko, O.V.
Veröffentlicht: (2024)
Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)
von: Liubchenko, V.V.
Veröffentlicht: (2023)
Software engineering and big data software
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)
von: Sydorov, М.О.
Veröffentlicht: (2019)
Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)
von: Sydorov, N.A.
Veröffentlicht: (2025)
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)
Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)
von: Sydorov, M.O.
Veröffentlicht: (2024)
Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)
von: Sydorov, M.O.
Veröffentlicht: (2023)
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)
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)
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)
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)
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)
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)
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)
Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)
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)
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)
Ontology-oriented data integration on the Semantic Web
von: Chystyakova, I.S.
Veröffentlicht: (2025)
von: Chystyakova, I.S.
Veröffentlicht: (2025)
Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)
von: Glushko, I.M.
Veröffentlicht: (2025)
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)
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)
Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)
Mixed topic-entity ontology for enhanced topic vector-spaced model
von: Shabinskiy, A.S.
Veröffentlicht: (2025)
von: Shabinskiy, A.S.
Veröffentlicht: (2025)
Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)
Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)
Technology system integration of hardware and software data protection
von: Alishоv, N.I., et al.
Veröffentlicht: (2025)
von: Alishоv, N.I., et al.
Veröffentlicht: (2025)
Ä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) -
Information technology for the development and analysis of models of subject areas for their study
von: Lyubchenko, V.V.
Veröffentlicht: (2015)