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

Monitoring design flaws in object-oriented software
von: Nechay, A.S.
Veröffentlicht: (2026)

Metrics selection for the software properties
von: Dyshlevyi, O.P.
Veröffentlicht: (2026)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
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)

Entity-substance characteristics of educational environment
von: Parfirova, T.S.
Veröffentlicht: (2026)

Software instrumental-technological system design of telecommunications with a changing set of modules modelling
von: Zhukov, I.A., et al.
Veröffentlicht: (2026)

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)

The usage of ontologies for semantics analysis of texts on natural language
von: Lescko, O.N., et al.
Veröffentlicht: (2026)

About construction of digital library models
von: Reznichenko, V.A., et al.
Veröffentlicht: (2026)

Data Integration in the Internet: Linked data
von: Novytskyi, O.V.
Veröffentlicht: (2026)

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)

Maintenance of Availability and Operation Proceeding Aviation Software
von: Lutsky, M.G., et al.
Veröffentlicht: (2026)

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)

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)

Using of Dublin core metadata to create metadata description of informational resource "Course work" and estimate obtained results
von: Minenko, V.D.
Veröffentlicht: (2026)

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)

Approach to design software applications of use Web Service
von: Deretsky, V.A., et al.
Veröffentlicht: (2026)

Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., 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)

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

Electronic library of the educational institution with visual interfaces of display and refining information by search
von: Ruvinskaya, V.M., et al.
Veröffentlicht: (2026)

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

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

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)

Technology system integration of hardware and software data protection
von: Alishov, N.I., et al.
Veröffentlicht: (2026)