Определение новых дисциплин в SE

За период с 1968 по 2008 г. автором настоящего учебника сформирована классификация общих формальных дисциплин SE, которые определяют разные аспекты теоретической деятельности по производству ПП, включая научные, инженерные, управленческие, экономические вопросы. В каждой дисциплине определены базовые теория и подходы к их использованию при проектировании ПС, а также их преподавания в составе курсов SE (рис. 12.1).

Наука программирования

Основу этой дисциплины составляют классические науки (теория алгоритмов, теория множеств, теория доказательств, математическая логика и т. п.), теория программирования, теория проектирования на уровне абстрактных моделей и архитектур целевых программных объектов. Она содержит базовые понятия и объекты, формальные теории, методы программирования и методы управления изготовлением вариантов ПГ1.

со.

Рис. 12.1. Новые дисциплины SE и их структура.

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

Теория программирования является фундаментом научной дисциплины, который включает:

• • теорию разработки схем программ, доказательства их эквивалентности, формальные языки спецификации и проектирования целевых объектов, методы доказательства их правильности (верификация, валидации и тестирование);
• • формальные методы управления проектом и отдельными его характеристиками;
• • методы оценивания заданных показателей качества ПП (надежность, корректность и т. п.);
• • теорию изменения вариантов программ и их семейств.

Таким образом, научная дисциплина является теоретическим фундаментом SE и учить ей необходимо не только для повышения уровня квалификации и развития новых возможностей теории программирования в индустрии ПИ. Одна из важных научных проблем — это интеграция (композиция, синтез, сборка) составных элементов будущего продукта, основанная на совместимости их интерфейсов. Эта теория опирается на фундаментальную теорию синтеза как одну из ветвей научной дисциплины SE и индустриальную сборку ПП.

Главным курсом обучения в вузах должна стать именно научная дисциплина, которую необходимо представить общим теоретическим курсом программирования (объектно ориентированного, компонентного, агентного и т. п.), отдельными действующими классическими курсами и дополнительными курсами из программы Curricula-2008, например «Инженерия качества и безопасность ПП».