Архитектурно-управляемая модернизация существующего программного обеспечения.
Отдел CASE-технологий института системного программирования (ИСП) занимается разработкой CASE-инструментов следующего поколения, основанных на формальных методах. Разрабатываемые инструменты и методы ориентированы на практическое усовершенствование процесса создания и поддержки программного обеспече...
Main Author: | Н.Н. Мансуров |
---|---|
Format: | Article |
Language: | English |
Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2004-01-01
|
Series: | Труды Института системного программирования РАН |
Online Access: | https://www.ispras.ru/en/proceedings/isp_5_2004/isp_5_2004_227/ |
Similar Items
-
Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения.
by: Н.Н. Мансуров
Published: (2000-01-01) -
Рефакторинг архитектуры программного обеспечения: выделение слоев
by: М. Ксензов
Published: (2004-01-01) -
Перспективы интеграции методов верификации программного обеспечения
by: В. В. Кулямин
Published: (2009-01-01) -
Метод виртуального процессора в защите программного обеспечения.
by: П.В. Бойко
Published: (2006-01-01) -
Разработка методики тестирования программного обеспечения : магистерская диссертация
by: Ivanov, E. S., et al.
Published: (2014)