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
Veröffentlicht in:	Проблеми програмування
Datum:	2018
1. Verfasser:	Chebanyuk, O.V.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2018
Schlagworte:	Методи та засоби програмної інженерії
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144591
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	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 Ukraine

Ähnliche Einträge

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

Models and tools for effectiveness increase of requirements traceability in agile-software development
von: Tkachuk, M.V., et al.
Veröffentlicht: (2012)

First experience of using INTSPEI P-Modeling Framework in software development projects
von: Pavlov, V.L., et al.
Veröffentlicht: (2007)

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

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

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2022)

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

Tete-A-Tete Project: software engineering tools supporting understanding
von: Hrytsay, V.P., et al.
Veröffentlicht: (2012)

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

Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
von: Андон, П.І., et al.
Veröffentlicht: (2018)

Підтримка процесу керування варіабельністю в сімействах програмних систем
von: Колесник, А.Л.
Veröffentlicht: (2012)

Підхід до конфігурування компонентів повторного використання
von: Колесник, А.Л.
Veröffentlicht: (2011)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2006)

Побудова стратегій переслідування з використанням функцій Ляпунова
von: Пашко, С.В.
Veröffentlicht: (2017)

Ін’єкція функціональних залежностей у контейнері інверсії керування
von: Глибовець, М.М.
Veröffentlicht: (2014)

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
von: Луцький, М.Г., et al.
Veröffentlicht: (2010)

Формалізми об’єктного проектування і тестування розподілених програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Концепція побудови сертифікаційної моделі якості програмних систем
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
von: Парасюк, І.М., et al.
Veröffentlicht: (2008)

Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності
von: Федоров, І.В.
Veröffentlicht: (2006)

Модель процесу експертного оцінювання у життєвому циклі програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2008)

Визначення предмету – програмна інженерія
von: Лавріщева, К.М.
Veröffentlicht: (2008)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Підходи інженерії якості сімейств програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2008)

Моделювання вимог до якості програмних систем оброблення даних
von: Коваль, Г.І., et al.
Veröffentlicht: (2006)

Технологічна модель процесу автоматизованого виробництва сімейств програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2011)

Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем
von: Стрєлов, І.А., et al.
Veröffentlicht: (2006)

Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
von: Андон, П.І., et al.
Veröffentlicht: (2017)

Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
von: Радецький, І.О.
Veröffentlicht: (2011)

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2008)

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
von: Чебанюк, О.В.
Veröffentlicht: (2014)

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

Про оптимальне керування в системі "хижак-жертва"
von: Пашко, С.В.
Veröffentlicht: (2020)

Особливості перекладу українською наукових текстів з інженерії програмування
von: Щоголева, Н.М., et al.
Veröffentlicht: (2008)

Підбір метрик для властивостей програмного забезпечення
von: Дишлевий, О.П.
Veröffentlicht: (2010)

Життєздатні програмні системи. Концептуалізація підходу до автоматизації систем організаційного керування
von: Ігнатенко, П.П.
Veröffentlicht: (2006)