Зображення обкладинки

An approach to behavioral software models refinement using design patterns

An approach to behavioral software models refinement is proposed in this paper. Behavioral software models are represented as UML collaboration diagrams. The operation of behavioral software models refinement can be both executed as a separate operation of Model-Driven Architecture (MDA) and Model-D...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Chebanyuk, O.B.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.415.2.045 (076.5)
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/702
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Agile requirement analysis approach using artificial intelligent technologies
за авторством: Chebanyuk, O.V.
Опубліковано: (2024)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
за авторством: Khimich, O.M., та інші
Опубліковано: (2023)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Method of calibration of the СOCOMO model by reduction of the basic equation
за авторством: Batsenko, D.V.
Опубліковано: (2015)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Optimal design the system of serial plate heat exchangers
за авторством: Хавин, Г. Л.
Опубліковано: (2016)

Optimal design the system of serial plate heat exchangers
за авторством: Хавин, Г. Л.
Опубліковано: (2016)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)

Technology system integration of hardware and software data protection
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

Development service model of cockpit for flight simulator
за авторством: Kolisnichenko, R.A.
Опубліковано: (2017)

Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Characteristics of information flows of software modules included in the software for automated support of ...
за авторством: Borovskaya, E.N., та інші
Опубліковано: (2025)

Sound interface design for blind PC users
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2015)

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
за авторством: Kussul, N.M., та інші
Опубліковано: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

Analytical review of approaches to integration of software systems
за авторством: Dyvak, Y.A.
Опубліковано: (2021)

The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)