Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Chebanyuk, O.B.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.415.2.045 (076.5)
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/702
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)

Agile requirement analysis approach using artificial intelligent technologies
von: Chebanyuk, O.V.
Veröffentlicht: (2024)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

An approach of intelligent searching of information in texts
von: Chebanuyk, O.V.
Veröffentlicht: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
von: Khimich, O.M., et al.
Veröffentlicht: (2023)

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

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

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

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

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

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

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Optimal design the system of serial plate heat exchangers
von: Хавин, Г. Л.
Veröffentlicht: (2016)

Optimal design the system of serial plate heat exchangers
von: Хавин, Г. Л.
Veröffentlicht: (2016)

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Technology system integration of hardware and software data protection
von: Alishоv, N.I., et al.
Veröffentlicht: (2025)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Development service model of cockpit for flight simulator
von: Kolisnichenko, R.A.
Veröffentlicht: (2017)

Characteristics of information flows of software modules included in the software for automated support of ...
von: Borovskaya, E.N., et al.
Veröffentlicht: (2025)

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

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

About development of an ontological toolkit
von: Palagin, A.V., et al.
Veröffentlicht: (2015)

Sound interface design for blind PC users
von: Ruvinskaya, V.M., et al.
Veröffentlicht: (2015)

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

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)

Analytical review of approaches to integration of software systems
von: Dyvak, Y.A.
Veröffentlicht: (2021)

The architecture and functionality of the multi-agent system Navigation
von: Yalovets, A.L.
Veröffentlicht: (2018)

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