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...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/274 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)
Agile requirement analysis approach using artificial intelligent technologies
за авторством: Chebanyuk, O.V.
Опубліковано: (2024)
за авторством: Chebanyuk, O.V.
Опубліковано: (2024)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)
On the peculiarities of using sparse matrices in problems of mathematical modeling
за авторством: Khimich, O.M., та інші
Опубліковано: (2023)
за авторством: Khimich, O.M., та інші
Опубліковано: (2023)
FUZZY SECOND ORDER SLIDING MODE CONTROL OF A UNIFIED POWER FLOW CONTROLLER
за авторством: Hinda, Abdellatif, та інші
Опубліковано: (2019)
за авторством: Hinda, Abdellatif, та інші
Опубліковано: (2019)
The system of models of domain "Software Metatechnology"
за авторством: Morentsov, Y.I.
Опубліковано: (2018)
за авторством: Morentsov, Y.I.
Опубліковано: (2018)
Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)
за авторством: Sydorov, N.A.
Опубліковано: (2021)
Modelling of metasomatosis in radiogenic rocks as a factor of transformation of their properties
за авторством: Baranov, V.A., та інші
Опубліковано: (2020)
за авторством: Baranov, V.A., та інші
Опубліковано: (2020)
Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2023)
за авторством: Sydorov, M.O.
Опубліковано: (2023)
Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)
за авторством: Sydorov, N.A.
Опубліковано: (2025)
The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Parallel software auto-tuning using statistical modeling and machine learning
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
Reproducing of the humidity curve of power transformers oil using adaptive neuro-fuzzy systems
за авторством: Vasilevskij, V.V., та інші
Опубліковано: (2021)
за авторством: Vasilevskij, V.V., та інші
Опубліковано: (2021)
Tete-a-tete project: software engineering tools supporting understanding
за авторством: Hrytsay, V.P., та інші
Опубліковано: (2015)
за авторством: Hrytsay, V.P., та інші
Опубліковано: (2015)
Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)
за авторством: Sydorov, M.O.
Опубліковано: (2024)
A methodology and architecture of the platform for modeling interdependencies in critical infrastructures when cascading effects occur
за авторством: Сенченко, В. Р., та інші
Опубліковано: (2025)
за авторством: Сенченко, В. Р., та інші
Опубліковано: (2025)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
A software technology providing tuning procedures of a quantitative model of human hemodynamics
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2021)
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2021)
Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)
за авторством: O. V. Chebanyuk
Опубліковано: (2018)
On the semigroup of injective transformations with restricted range that equal gap and defect
за авторством: Singha, Boorapa
Опубліковано: (2025)
за авторством: Singha, Boorapa
Опубліковано: (2025)
Software engineering and big data software
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)
Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)
за авторством: Rahozin, D.V.
Опубліковано: (2020)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Method of dynamic parameters for mathematical modelling of switching processes of valves closing of semiconductor converters
за авторством: Vasyliv, K. M.
Опубліковано: (2022)
за авторством: Vasyliv, K. M.
Опубліковано: (2022)
On inverse subsemigroups of the semigroup of orientation-preserving or orientation-reversing transformations
за авторством: Catarino, Paula, та інші
Опубліковано: (2015)
за авторством: Catarino, Paula, та інші
Опубліковано: (2015)
Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Impact of fractional filter in PI control loop applied to induction motor speed drive
за авторством: Hassainia, S., та інші
Опубліковано: (2022)
за авторством: Hassainia, S., та інші
Опубліковано: (2022)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)
за авторством: Sydorov, N.A.
Опубліковано: (2019)
Quasi-idempotents in finite semigroup of full order-preserving transformations
за авторством: Imam, A. T., та інші
Опубліковано: (2023)
за авторством: Imam, A. T., та інші
Опубліковано: (2023)
THE INFLUENCE OF EXHAUST GAS RECIRCULATION ON A CRDI DIESEL ENGINE OPERATING ON BIODIESEL ANALYSED USING A FUZZY LOGIC MODEL
за авторством: Narayanan , Th., та інші
Опубліковано: (2025)
за авторством: Narayanan , Th., та інші
Опубліковано: (2025)
Software technology for conducting simulation experiments with mathematical models of physiological systems
за авторством: Aksnova, T.V.
Опубліковано: (2018)
за авторством: Aksnova, T.V.
Опубліковано: (2018)
Performance analysis of massively parallel programs for graphics processing units
за авторством: Rahozin, D.V.
Опубліковано: (2023)
за авторством: Rahozin, D.V.
Опубліковано: (2023)
A mathematical model of optimization of the implementation of high technologies to the coal-mining industry of Ukraine
за авторством: Stohniy O.V, та інші
Опубліковано: (2012)
за авторством: Stohniy O.V, та інші
Опубліковано: (2012)
Mathematical models and tools for forecasting the development of the coal industry of Ukraine
за авторством: Stohniy O.V.
Опубліковано: (2013)
за авторством: Stohniy O.V.
Опубліковано: (2013)
ANALYSIS OF OPEN LI-ION BATTERY TESTING DATASETS FOR DEGRADATION MODELING AND LIFECYCLE MANAGEMENT
за авторством: Kostenko , Ganna, та інші
Опубліковано: (2026)
за авторством: Kostenko , Ganna, та інші
Опубліковано: (2026)