Формальні та адаптивні методи й інструментальні засоби паралельного програмування
Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генер...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2017 |
| Hauptverfasser: | Дорошенко, А.Ю., Бекетов, О.Г., Жереб, К.А., Іваненко, П.А., Овдій, О.М., Шевченко, Р.С., Яценко, О.А. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144493 |
| 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: | Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А.Ю. Дорошенко, О.Г. Бекетов, К.А. Жереб, П.А. Іваненко, О.М. Овдій, Р.С. Шевченко, О.А. Яценко // Проблеми програмування. — 2017. — № 3. — С. 19-30. — Бібліогр.: 32 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
von: Андон, П.І., et al.
Veröffentlicht: (2017)
von: Андон, П.І., et al.
Veröffentlicht: (2017)
Особливості перекладу українською наукових текстів з інженерії програмування
von: Щоголева, Н.М., et al.
Veröffentlicht: (2008)
von: Щоголева, Н.М., et al.
Veröffentlicht: (2008)
Задачі, методи та засоби експертного оцінювання якості в інженерії програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2007)
von: Слабоспицька, О.О.
Veröffentlicht: (2007)
Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2008)
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2008)
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
von: Антонов, В.М., et al.
Veröffentlicht: (2010)
von: Антонов, В.М., et al.
Veröffentlicht: (2010)
Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
von: Павлов, В.Л., et al.
Veröffentlicht: (2008)
von: Павлов, В.Л., et al.
Veröffentlicht: (2008)
Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах
von: Оконський, І.В., et al.
Veröffentlicht: (2013)
von: Оконський, І.В., et al.
Veröffentlicht: (2013)
Механізми забезпечення варіабельності в сімействах програмних систем
von: Колесник, А.Л.
Veröffentlicht: (2010)
von: Колесник, А.Л.
Veröffentlicht: (2010)
Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації
von: Алексеєв, В.А., et al.
Veröffentlicht: (2009)
von: Алексеєв, В.А., et al.
Veröffentlicht: (2009)
Підхід до моделювання якості сімейств програмних систем
von: Коваль, Г.І.
Veröffentlicht: (2009)
von: Коваль, Г.І.
Veröffentlicht: (2009)
Моделі і методи тестування програмних систем
von: Коротун, Т.М.
Veröffentlicht: (2007)
von: Коротун, Т.М.
Veröffentlicht: (2007)
Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения
von: Слабоспицкая, О.А.
Veröffentlicht: (2006)
von: Слабоспицкая, О.А.
Veröffentlicht: (2006)
Кроссертификация Украины
von: Мелащенко, А.О., et al.
Veröffentlicht: (2010)
von: Мелащенко, А.О., et al.
Veröffentlicht: (2010)
Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
von: Парасюк, І.М., et al.
Veröffentlicht: (2008)
von: Парасюк, І.М., et al.
Veröffentlicht: (2008)
Швидке розроблення застосувань в адаптивній технології SMARTBASE
von: Теленик, С.Ф., et al.
Veröffentlicht: (2006)
von: Теленик, С.Ф., et al.
Veröffentlicht: (2006)
Удосконалення процесу розроблення сімейств програмних систем елементами гнучких методологій
von: Коваль, Г.І., et al.
Veröffentlicht: (2010)
von: Коваль, Г.І., et al.
Veröffentlicht: (2010)
Інструментальні засоби створення конструктивних креслень геологічних розрізів
von: Тарнавський, Ю.А.
Veröffentlicht: (2016)
von: Тарнавський, Ю.А.
Veröffentlicht: (2016)
Модель процесу експертного оцінювання у життєвому циклі програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2008)
von: Слабоспицька, О.О.
Veröffentlicht: (2008)
Технологічна модель процесу автоматизованого виробництва сімейств програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2011)
von: Слабоспицька, О.О.
Veröffentlicht: (2011)
Об одном классе базовых протоколов
von: Летичевский, А.А.
Veröffentlicht: (2005)
von: Летичевский, А.А.
Veröffentlicht: (2005)
Генерация тестовых сценариев на основе формальной модели
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)
Пошук максимальних незалежних множин вершин графа для вдосконалення програмних проєктів
von: Слабоспицька, О.О., et al.
Veröffentlicht: (2022)
von: Слабоспицька, О.О., et al.
Veröffentlicht: (2022)
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
Реинженерия проектов программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2006)
von: Сидоров, Н.А., et al.
Veröffentlicht: (2006)
Построение имитационных моделей бизнес-процессов для сбора требований качества
von: Долгарев, А.Г., et al.
Veröffentlicht: (2008)
von: Долгарев, А.Г., et al.
Veröffentlicht: (2008)
Управление рисками в высокотехнологичных проектах: состояние и подходы управления
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)
Метод и средства редокументирования наследуемого программного обеспечения
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)
von: Сидоров, Н.А., et al.
Veröffentlicht: (2008)
Реализация модификаций эффективных генера-торов тестов
von: Андриянов, В.А., et al.
Veröffentlicht: (2010)
von: Андриянов, В.А., et al.
Veröffentlicht: (2010)
Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
von: Радецький, І.О.
Veröffentlicht: (2011)
von: Радецький, І.О.
Veröffentlicht: (2011)
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
von: Чебанюк, О.В.
Veröffentlicht: (2014)
von: Чебанюк, О.В.
Veröffentlicht: (2014)
Підбір метрик для властивостей програмного забезпечення
von: Дишлевий, О.П.
Veröffentlicht: (2010)
von: Дишлевий, О.П.
Veröffentlicht: (2010)
Реінженірінг баз даних інформаційних систем з розгалуженою мережею пунктів збору первинной інформацій
von: Алексеев, В.А., et al.
Veröffentlicht: (2005)
von: Алексеев, В.А., et al.
Veröffentlicht: (2005)
Підтримка процесу керування варіабельністю в сімействах програмних систем
von: Колесник, А.Л.
Veröffentlicht: (2012)
von: Колесник, А.Л.
Veröffentlicht: (2012)
Підхід до конфігурування компонентів повторного використання
von: Колесник, А.Л.
Veröffentlicht: (2011)
von: Колесник, А.Л.
Veröffentlicht: (2011)
Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
von: Островский, А.В.
Veröffentlicht: (2011)
von: Островский, А.В.
Veröffentlicht: (2011)
Обеспечение надежности программных средств в зависимости от качества документации
von: Анцыпов, А.В.
Veröffentlicht: (2008)
von: Анцыпов, А.В.
Veröffentlicht: (2008)
Подход к реализации среды разработки для dsl
von: Рябко, В.А.
Veröffentlicht: (2007)
von: Рябко, В.А.
Veröffentlicht: (2007)
50 лет инженерии программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2018)
von: Сидоров, Н.А.
Veröffentlicht: (2018)
Стилистика программного обеспечения
von: Сидоров, Н.А.
Veröffentlicht: (2006)
von: Сидоров, Н.А.
Veröffentlicht: (2006)
Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
von: Нечай, А.С.
Veröffentlicht: (2010)
von: Нечай, А.С.
Veröffentlicht: (2010)
Ähnliche Einträge
-
Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
von: Андон, П.І., et al.
Veröffentlicht: (2017) -
Особливості перекладу українською наукових текстів з інженерії програмування
von: Щоголева, Н.М., et al.
Veröffentlicht: (2008) -
Задачі, методи та засоби експертного оцінювання якості в інженерії програмних систем
von: Слабоспицька, О.О.
Veröffentlicht: (2007) -
Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2008) -
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
von: Антонов, В.М., et al.
Veröffentlicht: (2010)