Парадигмы программирования сборочного типа в программной инженерии
Представлен формальный аппарат парадигм программирования сборочного типа – модульного, объектного, компонентного и сер-висного программирования. Теоретический аппарат каждой парадигмы обеспечивает формальную разработку отдельных программных элементов этих парадигм, определение интерфейсных элементов...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2014 |
| Main Author: | Лаврищева, Е.М. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/113223 |
| 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: | Парадигмы программирования сборочного типа в программной инженерии / Е.М. Лаврищева // Проблеми програмування. — 2014. — № 2-3. — С. 121-132. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Основы программирования в контексте инженерии программного обеспечения
by: Сидоров, Н.А.
Published: (2019)
by: Сидоров, Н.А.
Published: (2019)
50 лет инженерии программного обеспечения
by: Сидоров, Н.А.
Published: (2018)
by: Сидоров, Н.А.
Published: (2018)
Применение статистических моделей в инженерии качества процессов производства программных систем
by: Матвеева, Л.Е., et al.
Published: (2012)
by: Матвеева, Л.Е., et al.
Published: (2012)
Классификация дисциплин программной инженерии
by: Лаврищева, Е.М.
Published: (2008)
by: Лаврищева, Е.М.
Published: (2008)
Графическое программирование в управлении динамикой моделирования сложных процессов
by: Ластовченко, М.М.
Published: (2008)
by: Ластовченко, М.М.
Published: (2008)
Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
by: Павлов, В.Л., et al.
Published: (2008)
by: Павлов, В.Л., et al.
Published: (2008)
Управление рисками в высокотехнологичных проектах: состояние и подходы управления
by: Годлевский, М.Д., et al.
Published: (2006)
by: Годлевский, М.Д., et al.
Published: (2006)
Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
by: Ігнатенко, П.П., et al.
Published: (2008)
by: Ігнатенко, П.П., et al.
Published: (2008)
Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека
by: Кузьмина, К.И., et al.
Published: (2017)
by: Кузьмина, К.И., et al.
Published: (2017)
Инженерия качества процессов производства программных систем с помощью сетей Петри
by: Матвеева, Л.Е.
Published: (2010)
by: Матвеева, Л.Е.
Published: (2010)
Метод и средства редокументирования наследуемого программного обеспечения
by: Сидоров, Н.А., et al.
Published: (2008)
by: Сидоров, Н.А., et al.
Published: (2008)
Обеспечение качества программных средств в условиях изменяющихся требований
by: Бахтизин, В.В., et al.
Published: (2008)
by: Бахтизин, В.В., et al.
Published: (2008)
Обеспечение надежности программных средств в зависимости от качества документации
by: Анцыпов, А.В.
Published: (2008)
by: Анцыпов, А.В.
Published: (2008)
Про оптимальне керування в системі "хижак-жертва"
by: Пашко, С.В.
Published: (2020)
by: Пашко, С.В.
Published: (2020)
Швидке розроблення застосувань в адаптивній технології SMARTBASE
by: Теленик, С.Ф., et al.
Published: (2006)
by: Теленик, С.Ф., et al.
Published: (2006)
Концепція побудови сертифікаційної моделі якості програмних систем
by: Райчев, І.Е., et al.
Published: (2006)
by: Райчев, І.Е., et al.
Published: (2006)
Підтримка процесу керування варіабельністю в сімействах програмних систем
by: Колесник, А.Л.
Published: (2012)
by: Колесник, А.Л.
Published: (2012)
Реинженерия проектов программного обеспечения
by: Сидоров, Н.А., et al.
Published: (2006)
by: Сидоров, Н.А., et al.
Published: (2006)
Шаблон программного обеспечения устройств связи с объектом авиационных тренажеров
by: Хоменко, В.А., et al.
Published: (2008)
by: Хоменко, В.А., et al.
Published: (2008)
Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека
by: Григорян, Р.Д.
Published: (2017)
by: Григорян, Р.Д.
Published: (2017)
Реинженерия наследуемого программного обеспечения авиационных тренажеров
by: Сидоров, Н.А., et al.
Published: (2008)
by: Сидоров, Н.А., et al.
Published: (2008)
Ін’єкція функціональних залежностей у контейнері інверсії керування
by: Глибовець, М.М.
Published: (2014)
by: Глибовець, М.М.
Published: (2014)
Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
by: Луцький, М.Г., et al.
Published: (2010)
by: Луцький, М.Г., et al.
Published: (2010)
Визначення предмету – програмна інженерія
by: Лавріщева, К.М.
Published: (2008)
by: Лавріщева, К.М.
Published: (2008)
Підходи інженерії якості сімейств програмних систем
by: Лавріщева, К.М., et al.
Published: (2008)
by: Лавріщева, К.М., et al.
Published: (2008)
Особливості перекладу українською наукових текстів з інженерії програмування
by: Щоголева, Н.М., et al.
Published: (2008)
by: Щоголева, Н.М., et al.
Published: (2008)
Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)
by: Мороз, Г.Б., et al.
Published: (2006)
Формалізми об’єктного проектування і тестування розподілених програмних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
by: Парасюк, І.М., et al.
Published: (2008)
by: Парасюк, І.М., et al.
Published: (2008)
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
by: Антонов, В.М., et al.
Published: (2010)
by: Антонов, В.М., et al.
Published: (2010)
Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
by: Антонов, В.М., et al.
Published: (2010)
by: Антонов, В.М., et al.
Published: (2010)
Технология электронного обучения базовым аспектам программной инженерии
by: Лаврищева, Е.М.
Published: (2012)
by: Лаврищева, Е.М.
Published: (2012)
Удосконалення процесу розроблення сімейств програмних систем елементами гнучких методологій
by: Коваль, Г.І., et al.
Published: (2010)
by: Коваль, Г.І., et al.
Published: (2010)
Формальні та адаптивні методи й інструментальні засоби паралельного програмування
by: Дорошенко, А.Ю., et al.
Published: (2017)
by: Дорошенко, А.Ю., et al.
Published: (2017)
Регрессивное тестирование: методы и будущие направления исследований
by: Мороз, Г.Б., et al.
Published: (2014)
by: Мороз, Г.Б., et al.
Published: (2014)
О возможности систематического исследования систем управления производством
by: Колесник, В.Г.
Published: (2017)
by: Колесник, В.Г.
Published: (2017)
Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
by: Ткачук, Н., et al.
Published: (2010)
by: Ткачук, Н., et al.
Published: (2010)
Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Оценка надежности модульных программных средств
by: Анцыпов, А.В., et al.
Published: (2010)
by: Анцыпов, А.В., et al.
Published: (2010)
Similar Items
-
Основы программирования в контексте инженерии программного обеспечения
by: Сидоров, Н.А.
Published: (2019) -
50 лет инженерии программного обеспечения
by: Сидоров, Н.А.
Published: (2018) -
Применение статистических моделей в инженерии качества процессов производства программных систем
by: Матвеева, Л.Е., et al.
Published: (2012) -
Классификация дисциплин программной инженерии
by: Лаврищева, Е.М.
Published: (2008) -
Графическое программирование в управлении динамикой моделирования сложных процессов
by: Ластовченко, М.М.
Published: (2008)