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

Формальні та адаптивні методи й інструментальні засоби паралельного програмування

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генер...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2017
Автори:	Дорошенко, А.Ю., Бекетов, О.Г., Жереб, К.А., Іваненко, П.А., Овдій, О.М., Шевченко, Р.С., Яценко, О.А.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2017
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/144493
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

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

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

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

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

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

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

Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
за авторством: Алексеєв, В.А., та інші
Опубліковано: (2009)

Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах
за авторством: Оконський, І.В., та інші
Опубліковано: (2013)

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

Моделі і методи тестування програмних систем
за авторством: Коротун, Т.М.
Опубліковано: (2007)

Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения
за авторством: Слабоспицкая, О.А.
Опубліковано: (2006)

Кроссертификация Украины
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2010)

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

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

Швидке розроблення застосувань в адаптивній технології SMARTBASE
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2006)

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

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

Об одном классе базовых протоколов
за авторством: Летичевский, А.А.
Опубліковано: (2005)

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

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

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

Реинженерия проектов программного обеспечения
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2006)

Построение имитационных моделей бизнес-процессов для сбора требований качества
за авторством: Долгарев, А.Г., та інші
Опубліковано: (2008)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
за авторством: Годлевский, М.Д., та інші
Опубліковано: (2006)

Метод и средства редокументирования наследуемого программного обеспечения
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2008)

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

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

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

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

Реінженірінг баз даних інформаційних систем з розгалуженою мережею пунктів збору первинной інформацій
за авторством: Алексеев, В.А., та інші
Опубліковано: (2005)

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

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

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
за авторством: Островский, А.В.
Опубліковано: (2011)

Обеспечение надежности программных средств в зависимости от качества документации
за авторством: Анцыпов, А.В.
Опубліковано: (2008)

Подход к реализации среды разработки для dsl
за авторством: Рябко, В.А.
Опубліковано: (2007)

50 лет инженерии программного обеспечения
за авторством: Сидоров, Н.А.
Опубліковано: (2018)

Стилистика программного обеспечения
за авторством: Сидоров, Н.А.
Опубліковано: (2006)

Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
за авторством: Нечай, А.С.
Опубліковано: (2010)

Визуальное моделирование сложного программного обеспечения интернет узла
за авторством: Меренков, А.Ю.
Опубліковано: (2006)