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 |
---|---|
Автор: | Chebanyuk, O.V. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2018
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144591 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Formal foundations for software model to model transformation operation / O.V. Chebanyuk // Проблеми програмування. — 2018. — № 2-3. — С. 124-131. — Бібліогр.: 13 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.
Опубліковано: (2018) -
Models and tools for effectiveness increase of requirements traceability in agile-software development
за авторством: Tkachuk, M.V., та інші
Опубліковано: (2012) -
Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018) -
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018) -
Tete-A-Tete Project: software engineering tools supporting understanding
за авторством: Hrytsay, V.P., та інші
Опубліковано: (2012)