Спецификация

048. С практикой программирования оказалось, что компьютерные системы и есть продукты формализации и её методы, и методы эффективные. Поэтому и считают, что информатика замещает математику, логику, лингвистику и тем более, философию. По сути, компьютерное моделирование - методология, в основе которой универсальный "измерительный" инструмент (вычислительный аппарат с автоматической программируемой памятью). Мы можем обозначать эти процессы рационализацией, абстрагированием, концептуализацией, классификацией, типизацией, детализацией, стандартизацией, атрибуцией, характеризацией, ... и, например, спецификацией. Спецификация — та же самая идентификация и дефиниция. Выделение параметров и их отношений. Процесс моделирования. И код модели. Буквально, "специальные действия фиксирования". Термин активно используется для формуляров, формальных систем, документации, инструкций. Всё есть параметры спецификаций! Спецификация - предикация с вариативными параметрами.

• Спецификация - предикат со свободными переменными. В случае процесса разумно в качестве описания его работы рассматривать протокол событий, произошедших вплоть до определенного момента времени. Для обозначения произвольного протокола процесса можно использовать специальную переменную ...
• 018. Атрибут, 019. Элемент, 020. Структура, 022. Проект, 023. Схема, 024. Дефиниция, 025. Концепция, 033. План, 043. Параметр, 045. Тип
• Система проектирования спецификаций
• Спецификация модели *
• Спецификация требований программного обеспечения (Формальная спецификация, Функциональная спецификация, Шаблон проектирования)
• Process Specification Language * (Axiom schema of specification, Семантическое Версионирование, Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных)