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...
Збережено в:
| Дата: | 2025 |
|---|---|
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/715 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
Approaches to realization Yen’s algorithm for systems with the shared memory
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Information technology for the development and analysis of models of subject areas for their study
за авторством: Lyubchenko, V.V.
Опубліковано: (2015)
за авторством: Lyubchenko, V.V.
Опубліковано: (2015)
On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)
за авторством: Jakub, K.
Опубліковано: (2017)
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
за авторством: Palagin, O.V., та інші
Опубліковано: (2020)
за авторством: Palagin, O.V., та інші
Опубліковано: (2020)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)
за авторством: Sydorov, N.A.
Опубліковано: (2019)
Software engineering ontologies categorization
за авторством: N. A. Sydorov, та інші
Опубліковано: (2018)
за авторством: N. A. Sydorov, та інші
Опубліковано: (2018)
Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
The method of requirements prioritization in software engineering
за авторством: Nesterenko, O.V.
Опубліковано: (2024)
за авторством: Nesterenko, O.V.
Опубліковано: (2024)
Some aspects of software engineering for AI-based systems
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
Software engineering and big data software
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)
Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)
за авторством: Sydorov, М.О.
Опубліковано: (2019)
Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)
за авторством: Sydorov, N.A.
Опубліковано: (2025)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)
за авторством: Sydorov, M.O.
Опубліковано: (2024)
Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2023)
за авторством: Sydorov, M.O.
Опубліковано: (2023)
About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)
Formation of the readiness of future bachelors of software engineering for professional communication
за авторством: Sidorova, N.M.
Опубліковано: (2015)
за авторством: Sidorova, N.M.
Опубліковано: (2015)
Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)
за авторством: Glybovets, A.M.
Опубліковано: (2025)
Research and development workstation environment: the new class of Current Research Information Systems
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
Application of machine learning in software engineering: an overview
за авторством: Moroz, O.H., та інші
Опубліковано: (2019)
за авторством: Moroz, O.H., та інші
Опубліковано: (2019)
Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
Module-based scientific physics engine architecture
за авторством: Bernatovych, A.A., та інші
Опубліковано: (2023)
за авторством: Bernatovych, A.A., та інші
Опубліковано: (2023)
Modern restful api dls and frameworks for restful web services api schema modeling, documenting, visualizing
за авторством: Malakhov, K.S., та інші
Опубліковано: (2019)
за авторством: Malakhov, K.S., та інші
Опубліковано: (2019)
Master’s thesis in software engineering – object, subject, contents of research
за авторством: Sydorov, M.O.
Опубліковано: (2022)
за авторством: Sydorov, M.O.
Опубліковано: (2022)
Ontology-oriented data integration on the Semantic Web
за авторством: Chystyakova, I.S.
Опубліковано: (2025)
за авторством: Chystyakova, I.S.
Опубліковано: (2025)
Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)
за авторством: Glushko, I.M.
Опубліковано: (2025)
Software means of modeling of the vector type of reactive engine control system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
Approach to the building intelligent decision support systems on the basis of ontology
за авторством: Lytvyn, V.V.
Опубліковано: (2025)
за авторством: Lytvyn, V.V.
Опубліковано: (2025)
Information system for hostilities mechanized forces modelling based on ontology
за авторством: Oborska, O.V.
Опубліковано: (2019)
за авторством: Oborska, O.V.
Опубліковано: (2019)
Mixed topic-entity ontology for enhanced topic vector-spaced model
за авторством: Shabinskiy, A.S.
Опубліковано: (2025)
за авторством: Shabinskiy, A.S.
Опубліковано: (2025)
Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)
Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
Technology system integration of hardware and software data protection
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)