Зображення обкладинки

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.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2018
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.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)

First experience of using INTSPEI P-Modeling Framework in software development projects
за авторством: Pavlov, V.L., та інші
Опубліковано: (2007)

Software engineering and big data software
за авторством: Sydorov, M.O., та інші
Опубліковано: (2022)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Technological trends & software engineering education: a systematic review study
за авторством: Nesterenko, O.V.
Опубліковано: (2022)

Tete-A-Tete Project: software engineering tools supporting understanding
за авторством: Hrytsay, V.P., та інші
Опубліковано: (2012)

Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2022)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

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

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

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

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

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

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

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

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

Концепція побудови сертифікаційної моделі якості програмних систем
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)

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

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

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

Визначення предмету – програмна інженерія
за авторством: Лавріщева, К.М.
Опубліковано: (2008)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

Підходи інженерії якості сімейств програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2008)

Моделювання вимог до якості програмних систем оброблення даних
за авторством: Коваль, Г.І., та інші
Опубліковано: (2006)

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

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

Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
за авторством: Андон, П.І., та інші
Опубліковано: (2017)

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

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

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

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

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

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

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

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

Метод калібрування моделі СОСОМО шляхом редукції основного рівняння
за авторством: Баценко, Д.В.
Опубліковано: (2012)

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