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

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

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

Monitoring design flaws in object-oriented software
за авторством: Nechay, A.S.
Опубліковано: (2026)

Metrics selection for the software properties
за авторством: Dyshlevyi, O.P.
Опубліковано: (2026)

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

Entity-substance characteristics of educational environment
за авторством: Parfirova, T.S.
Опубліковано: (2026)

Software instrumental-technological system design of telecommunications with a changing set of modules modelling
за авторством: Zhukov, I.A., та інші
Опубліковано: (2026)

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)

About construction of digital library models
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2026)

Data Integration in the Internet: Linked data
за авторством: Novytskyi, O.V.
Опубліковано: (2026)

The usage of ontologies for semantics analysis of texts on natural language
за авторством: Lescko, O.N., та інші
Опубліковано: (2026)

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

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)

Maintenance of Availability and Operation Proceeding Aviation Software
за авторством: Lutsky, M.G., та інші
Опубліковано: (2026)

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)

Using of Dublin core metadata to create metadata description of informational resource "Course work" and estimate obtained results
за авторством: Minenko, V.D.
Опубліковано: (2026)

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)

Approach to design software applications of use Web Service
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)

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

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

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

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

Electronic library of the educational institution with visual interfaces of display and refining information by search
за авторством: Ruvinskaya, V.M., та інші
Опубліковано: (2026)

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

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

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)

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