Давыдовский Михаил Альбинович SPE-классификация программ Программа может рассматриваться как модель некоторой другой модели определенной части реального мира.
Классы программ S-программы. Specification programs. P-программы. Programs for real world Problem decision E-программы. Extrapolation programs.
S-программы Программы, функция которых формально определяется спецификацией программ Спецификация – это определение того, что должна делать программа, ее входных и выходных параметров. Примеры. Нахождение корней квадратного уравнения Классическая задача коммивояжера (торгового агента, развозящего товары по складам)
Разработка S-программы
P-программы Программы, решающие задачи реального мира. Примеры. Программа для игры в шахматы Прогноз погоды Задача коммивояжера, в которой надо учитывать графики работы складов, расписание движения транспорт При решении этих задач необходимо пользоваться некоторыми приближенными данными. Само решение получается также неточным.
Разработка P-программы
E-программы Программы, автоматизирующие деятельность человека. Эти программы являются частью реального мира. Примеры. Операционная система Система управления самолетом Система управления запасами товаров на складе
Разработка E-программы