Абстрагирование - набор правил, определяющих построение моделей, включающий их визуализацию и определение структуры и поведения:
Абстракции через параметризацию и через спецификацию являются мощным средством для создания программ:
Абстракция через параметризацию позволяет, используя параметры, представить фактически неограниченный набор различных вычислений одной процедурой:
В основу структурного подхода положен принцип функциональной декомпозиции:
Выделяются два основных подхода к разработке программного обеспечения - структурный и объектно-ориентированный подход:
Диаграмма потоков данных показывает все пути вычисления значений, но не показывает, в каком порядке эти значения вычисляются:
Диаграммы - графические представления набора элементов, изображаемых чаще всего в виде связанного графа с вершинами и ребрами:
Для спецификации семантики функций используются следующие подходы: табличный, алгебраический и логический:
Концептуальной основой структурного подхода является объектная модель:
Модульность - ранжированная или упорядоченная система абстракций, расположение их по уровням:
Первичные спецификации составляют в терминах программы:
Полиморфизм - способность класса принадлежать более чем одному типу:
Спецификация - достаточно полное и точное описание решаемой задачи на этапах проекта:
Сущность объектно-ориентированного подхода к разработке программного обеспечения заключается в его декомпозиции на автоматизируемые функции:
Функциональная спецификация представляет собой математически точное и формальное описание поведения программного средства:
Язык спецификаций - формальный язык, предназначенный для спецификации функций:
Языки описания архитектур - языки, предоставляющие средства для моделирования концептуальной программной архитектуры: