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...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2018 |
| Main Author: | Chebanyuk, O.V. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144591 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Formal foundations for software model to model transformation operation / O.V. Chebanyuk // Проблеми програмування. — 2018. — № 2-3. — С. 124-131. — Бібліогр.: 13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018)
by: Kolchin, A.
Published: (2018)
Models and tools for effectiveness increase of requirements traceability in agile-software development
by: Tkachuk, M.V., et al.
Published: (2012)
by: Tkachuk, M.V., et al.
Published: (2012)
First experience of using INTSPEI P-Modeling Framework in software development projects
by: Pavlov, V.L., et al.
Published: (2007)
by: Pavlov, V.L., et al.
Published: (2007)
Software engineering and big data software
by: Sydorov, M.O., et al.
Published: (2022)
by: Sydorov, M.O., et al.
Published: (2022)
Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)
by: Sydorov, N.A., et al.
Published: (2018)
Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)
by: Peschanenko, V., et al.
Published: (2018)
Technological trends & software engineering education: a systematic review study
by: Nesterenko, O.V.
Published: (2022)
by: Nesterenko, O.V.
Published: (2022)
Tete-A-Tete Project: software engineering tools supporting understanding
by: Hrytsay, V.P., et al.
Published: (2012)
by: Hrytsay, V.P., et al.
Published: (2012)
Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2022)
by: Sydorov, M.O.
Published: (2022)
Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)
by: Chebanyuk, O.V.
Published: (2018)
Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)
by: O. V. Chebanyuk
Published: (2018)
Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
by: Андон, П.І., et al.
Published: (2018)
by: Андон, П.І., et al.
Published: (2018)
Підтримка процесу керування варіабельністю в сімействах програмних систем
by: Колесник, А.Л.
Published: (2012)
by: Колесник, А.Л.
Published: (2012)
Підхід до конфігурування компонентів повторного використання
by: Колесник, А.Л.
Published: (2011)
by: Колесник, А.Л.
Published: (2011)
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)
by: Мороз, Г.Б., et al.
Published: (2006)
Побудова стратегій переслідування з використанням функцій Ляпунова
by: Пашко, С.В.
Published: (2017)
by: Пашко, С.В.
Published: (2017)
Ін’єкція функціональних залежностей у контейнері інверсії керування
by: Глибовець, М.М.
Published: (2014)
by: Глибовець, М.М.
Published: (2014)
Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
by: Луцький, М.Г., et al.
Published: (2010)
by: Луцький, М.Г., et al.
Published: (2010)
Формалізми об’єктного проектування і тестування розподілених програмних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Концепція побудови сертифікаційної моделі якості програмних систем
by: Райчев, І.Е., et al.
Published: (2006)
by: Райчев, І.Е., et al.
Published: (2006)
Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
by: Парасюк, І.М., et al.
Published: (2008)
by: Парасюк, І.М., et al.
Published: (2008)
Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності
by: Федоров, І.В.
Published: (2006)
by: Федоров, І.В.
Published: (2006)
Модель процесу експертного оцінювання у життєвому циклі програмних систем
by: Слабоспицька, О.О.
Published: (2008)
by: Слабоспицька, О.О.
Published: (2008)
Визначення предмету – програмна інженерія
by: Лавріщева, К.М.
Published: (2008)
by: Лавріщева, К.М.
Published: (2008)
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Підходи інженерії якості сімейств програмних систем
by: Лавріщева, К.М., et al.
Published: (2008)
by: Лавріщева, К.М., et al.
Published: (2008)
Моделювання вимог до якості програмних систем оброблення даних
by: Коваль, Г.І., et al.
Published: (2006)
by: Коваль, Г.І., et al.
Published: (2006)
Технологічна модель процесу автоматизованого виробництва сімейств програмних систем
by: Слабоспицька, О.О.
Published: (2011)
by: Слабоспицька, О.О.
Published: (2011)
Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем
by: Стрєлов, І.А., et al.
Published: (2006)
by: Стрєлов, І.А., et al.
Published: (2006)
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
by: Андон, П.І., et al.
Published: (2017)
by: Андон, П.І., et al.
Published: (2017)
Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
by: Радецький, І.О.
Published: (2011)
by: Радецький, І.О.
Published: (2011)
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
by: Антонов, В.М., et al.
Published: (2010)
by: Антонов, В.М., et al.
Published: (2010)
Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
by: Ігнатенко, П.П., et al.
Published: (2008)
by: Ігнатенко, П.П., et al.
Published: (2008)
Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
by: Антонов, В.М., et al.
Published: (2010)
by: Антонов, В.М., et al.
Published: (2010)
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
by: Чебанюк, О.В.
Published: (2014)
by: Чебанюк, О.В.
Published: (2014)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Чебанюк, О.В., et al.
Published: (2012)
by: Чебанюк, О.В., et al.
Published: (2012)
Про оптимальне керування в системі "хижак-жертва"
by: Пашко, С.В.
Published: (2020)
by: Пашко, С.В.
Published: (2020)
Особливості перекладу українською наукових текстів з інженерії програмування
by: Щоголева, Н.М., et al.
Published: (2008)
by: Щоголева, Н.М., et al.
Published: (2008)
Метод калібрування моделі СОСОМО шляхом редукції основного рівняння
by: Баценко, Д.В.
Published: (2012)
by: Баценко, Д.В.
Published: (2012)
Підбір метрик для властивостей програмного забезпечення
by: Дишлевий, О.П.
Published: (2010)
by: Дишлевий, О.П.
Published: (2010)
Similar Items
-
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018) -
Models and tools for effectiveness increase of requirements traceability in agile-software development
by: Tkachuk, M.V., et al.
Published: (2012) -
First experience of using INTSPEI P-Modeling Framework in software development projects
by: Pavlov, V.L., et al.
Published: (2007) -
Software engineering and big data software
by: Sydorov, M.O., et al.
Published: (2022) -
Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)