Давыдовский Михаил АльбиновичSPE-классификация программ

Классы программ
S-программы.
Specification programs.
P-программы.
Programs for real world Problem decision
E-программы.
Extrapolation programs.

S-программы
Программы, функция которых формально определяется спецификацией программ
Спецификация – это определение того, что должна делать программа, ее входных и выходных параметров.
Примеры.
Нахождение корней квадратного уравнения
Классическая задача коммивояжера (торгового агента, развозящего товары по складам)

Разработка S-программы

P-программы
Программы, решающие задачи реального мира.
Примеры.
Программа для игры в шахматы
Прогноз погоды
Задача коммивояжера, в которой надо учитывать графики работы складов, расписание движения транспорт
При решении этих задач необходимо пользоваться некоторыми приближенными данными. Само решение получается также неточным.

Разработка P-программы

E-программы
Программы, автоматизирующие деятельность человека. Эти программы являются частью реального мира.
Примеры.
Операционная система
Система управления самолетом
Система управления запасами товаров на складе