Buchumschlag

Formal foundations for software model to model transformation operation

Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained after transformation, influences on further operations with this model. Thus...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
1. Verfasser:	Chebanyuk, O.V.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	Software Model Software Model Transformation Graph Transformation Model-Driven Development First-order logic Second-order logic UML UDC 004.415.2.045 (076.5)
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/274
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

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)

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

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)

FUZZY SECOND ORDER SLIDING MODE CONTROL OF A UNIFIED POWER FLOW CONTROLLER
von: Hinda, Abdellatif, et al.
Veröffentlicht: (2019)

The system of models of domain "Software Metatechnology"
von: Morentsov, Y.I.
Veröffentlicht: (2018)

Hybrid autotuning model with statistic modelling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Modelling of metasomatosis in radiogenic rocks as a factor of transformation of their properties
von: Baranov, V.A., et al.
Veröffentlicht: (2020)

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

Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)

Description model of programming style ecosystem
von: Sydorov, N.A., et al.
Veröffentlicht: (2020)

The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)

Parallel software auto-tuning using statistical modeling and machine learning
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Reproducing of the humidity curve of power transformers oil using adaptive neuro-fuzzy systems
von: Vasilevskij, V.V., et al.
Veröffentlicht: (2021)

Tete-a-tete project: software engineering tools supporting understanding
von: Hrytsay, V.P., et al.
Veröffentlicht: (2015)

A methodology and architecture of the platform for modeling interdependencies in critical infrastructures when cascading effects occur
von: Сенченко, В. Р., et al.
Veröffentlicht: (2025)

Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)

A software technology providing tuning procedures of a quantitative model of human hemodynamics
von: Grygoryan, R.D., et al.
Veröffentlicht: (2021)

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

Models of concurrent program running in resource constrained environment
von: Rahozin, D.V.
Veröffentlicht: (2020)

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

On the semigroup of injective transformations with restricted range that equal gap and defect
von: Singha, Boorapa
Veröffentlicht: (2025)

Software engineering and big data software
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Method of dynamic parameters for mathematical modelling of switching processes of valves closing of semiconductor converters
von: Vasyliv, K. M.
Veröffentlicht: (2022)

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

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)

On inverse subsemigroups of the semigroup of orientation-preserving or orientation-reversing transformations
von: Catarino, Paula, et al.
Veröffentlicht: (2015)

THE INFLUENCE OF EXHAUST GAS RECIRCULATION ON A CRDI DIESEL ENGINE OPERATING ON BIODIESEL ANALYSED USING A FUZZY LOGIC MODEL
von: Narayanan , Th., et al.
Veröffentlicht: (2025)

Impact of fractional filter in PI control loop applied to induction motor speed drive
von: Hassainia, S., et al.
Veröffentlicht: (2022)

Quasi-idempotents in finite semigroup of full order-preserving transformations
von: Imam, A. T., et al.
Veröffentlicht: (2023)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)

Software technology for conducting simulation experiments with mathematical models of physiological systems
von: Aksnova, T.V.
Veröffentlicht: (2018)

Architectural framework for a United Blockchain Interaction Library
von: Dobrianskyi, B.I., et al.
Veröffentlicht: (2024)

Integration of the description logics axiomatic into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Direct torque control based on second order sliding mode controller for three-level inverter-fed permanent magnet synchronous motor: comparative study
von: Guezi, A., et al.
Veröffentlicht: (2022)