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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Оne mean for optimal plate heat exchanger calculation
за авторством: Арсеньева, О. П., та інші
Опубліковано: (2016)

Calculation of plate heat exchanger with different channel types in one device
за авторством: Хавин, Г. Л.
Опубліковано: (2016)

Оne mean for optimal plate heat exchanger calculation
за авторством: Арсеньева, О. П., та інші
Опубліковано: (2016)

Calculation of plate heat exchanger with different channel types in one device
за авторством: Хавин, Г. Л.
Опубліковано: (2016)

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

Decision support system for quality management in study process
за авторством: Komleva, N.O., та інші
Опубліковано: (2020)

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)

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

Axial internal forces in power transformer active part elements after short circuit
за авторством: Лазарев, И. В., та інші
Опубліковано: (2015)

Axial internal forces in power transformer active part elements after short circuit
за авторством: Лазарев, И. В., та інші
Опубліковано: (2015)

Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Axial internal forces in power transformer active part elements after short circuit
за авторством: Лазарев, И. В.
Опубліковано: (2015)

Axial internal forces in power transformer active part elements after short circuit
за авторством: Лазарев, И. В.
Опубліковано: (2015)

Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)