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

Основы программирования в контексте инженерии программного обеспечения

Рассматривается применение конструктивного подхода к построению текстов программ, который систематически культивируется в инженерии программного обеспечения и стало возможным благодаря ряду фундаментальных результатов, полученных в теории программирования. Рассматривается применение конструктивного...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека
за авторством: Григорян, Р.Д.
Опубліковано: (2017)

Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека
за авторством: Кузьмина, К.И., та інші
Опубліковано: (2017)

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

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

Проблемы реинжиниринга программных legacy-систем
за авторством: Пашковец, Н.Д., та інші
Опубліковано: (2010)

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

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

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

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

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

Разработка полнофункциональных веб-приложений на основе библиотеки TauCode
за авторством: Коваленко, А.С., та інші
Опубліковано: (2010)

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

Ролевой подход к оценке качества экономических экспертных систем
за авторством: Кожевникова, Г.П., та інші
Опубліковано: (2006)

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

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

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

Формальні та адаптивні методи й інструментальні засоби паралельного програмування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)