Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”
Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем. The gi...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2014 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/113235 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862726864557047808 |
|---|---|
| author | Палагин, А.В. Петренко, Н.Г. Величко, В.Ю. Малахов, К.С. |
| author_facet | Палагин, А.В. Петренко, Н.Г. Величко, В.Ю. Малахов, К.С. |
| citation_txt | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем.
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 client-server environment.
|
| first_indexed | 2025-12-07T18:59:59Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113235 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T18:59:59Z |
| publishDate | 2014 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Палагин, А.В. Петренко, Н.Г. Величко, В.Ю. Малахов, К.С. 2017-02-04T19:13:26Z 2017-02-04T19:13:26Z 2014 Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко, К.С. Малахов // Проблеми програмування. — 2014. — № 2-3. — С. 221-232. — Бібліогр.: 20 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113235 004.2: 004.3 Рассмотрено обобщенное представление математической модели программной системы ИКОН, разработаны формальные модели ПС ИКОН, представленные в аналитическом виде UML-диаграмм. Описана трехуровневая архитектура ПС ИКОН в среде клиент-сервер, а также процесс разработки сложных программных систем. 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 client-server environment. ru Інститут програмних систем НАН України Проблеми програмування Інтелектуальні інформаційні технології Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” Article published earlier |
| spellingShingle | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” Палагин, А.В. Петренко, Н.Г. Величко, В.Ю. Малахов, К.С. Інтелектуальні інформаційні технології |
| title | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” |
| title_alt | Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” |
| title_full | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” |
| title_fullStr | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” |
| title_full_unstemmed | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” |
| title_short | Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения” |
| title_sort | развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "инструментальный комплекс онтологического назначения” |
| topic | Інтелектуальні інформаційні технології |
| topic_facet | Інтелектуальні інформаційні технології |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113235 |
| work_keys_str_mv | AT palaginav razvitieformalʹnyhmodeleialgoritmovprocedurrazrabotkiifunkcionirovaniâprogrammnoisistemyinstrumentalʹnyikompleksontologičeskogonaznačeniâ AT petrenkong razvitieformalʹnyhmodeleialgoritmovprocedurrazrabotkiifunkcionirovaniâprogrammnoisistemyinstrumentalʹnyikompleksontologičeskogonaznačeniâ AT veličkovû razvitieformalʹnyhmodeleialgoritmovprocedurrazrabotkiifunkcionirovaniâprogrammnoisistemyinstrumentalʹnyikompleksontologičeskogonaznačeniâ AT malahovks razvitieformalʹnyhmodeleialgoritmovprocedurrazrabotkiifunkcionirovaniâprogrammnoisistemyinstrumentalʹnyikompleksontologičeskogonaznačeniâ AT palaginav developmentofformalmodelsalgorithmsproceduresengineeringandfunctioningofthesoftwaresysteminstrumentalcomplexforontologicalengineeringpurpose AT petrenkong developmentofformalmodelsalgorithmsproceduresengineeringandfunctioningofthesoftwaresysteminstrumentalcomplexforontologicalengineeringpurpose AT veličkovû developmentofformalmodelsalgorithmsproceduresengineeringandfunctioningofthesoftwaresysteminstrumentalcomplexforontologicalengineeringpurpose AT malahovks developmentofformalmodelsalgorithmsproceduresengineeringandfunctioningofthesoftwaresysteminstrumentalcomplexforontologicalengineeringpurpose |