Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Chebanyuk, O.B.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.415.2.045 (076.5)
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/702
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

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

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

Agile requirement analysis approach using artificial intelligent technologies
by: Chebanyuk, O.V.
Published: (2024)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

An approach of intelligent searching of information in texts
by: Chebanuyk, O.V.
Published: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
by: Khimich, O.M., et al.
Published: (2023)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Method of calibration of the СOCOMO model by reduction of the basic equation
by: Batsenko, D.V.
Published: (2015)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)

Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
by: Terletskyi, D.O., et al.
Published: (2025)

Optimal design the system of serial plate heat exchangers
by: Хавин, Г. Л.
Published: (2016)

Optimal design the system of serial plate heat exchangers
by: Хавин, Г. Л.
Published: (2016)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

Conflict controlled network modeling: evolutionary games approach
by: Ignatenko, O.P., et al.
Published: (2019)

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Development service model of cockpit for flight simulator
by: Kolisnichenko, R.A.
Published: (2017)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Characteristics of information flows of software modules included in the software for automated support of ...
by: Borovskaya, E.N., et al.
Published: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Grid application development framework
by: Prila, O.A.
Published: (2025)

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

Algebraic patterns of binary code vulnerabilities
by: Yakovlev, V.M.
Published: (2020)

Sound interface design for blind PC users
by: Ruvinskaya, V.M., et al.
Published: (2015)

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
by: Kussul, N.M., et al.
Published: (2025)

The architecture and functionality of the multi-agent system Navigation
by: Yalovets, A.L.
Published: (2018)

Analytical review of approaches to integration of software systems
by: Dyvak, Y.A.
Published: (2021)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)