(no subject)
Спецификация
https://telegra.ph/Specifikaciya-09-14
sergey shishkin September 14, 2021
048. С практикой программирования оказалось, что компьютерные системы и есть продукты формализации и её методы, и методы эффективные. Поэтому и считают, что информатика замещает математику, логику, лингвистику и тем более, философию. По сути, компьютерное моделирование - методология, в основе которой универсальный "измерительный" инструмент (вычислительный аппарат с автоматической программируемой памятью). Мы можем обозначать эти процессы рационализацией, абстрагированием, концептуализацией, классификацией, типизацией, детализацией, стандартизацинй, атрибуцией, характеризацией, ... и, например, спецификацией. Спецификация - та же самая идентификация и дефиниция. Выделение параметров и их отношений. Процесс моделирования. И код модели. Буквально, "специальные действия фиксирования". Термин активно используется для формуляров, формальных систем, документации, инструкций. Всё есть параметры спецификаций! Спецификация - предикация с вариативными параметрами.
Спецификация - предикат со свободными переменными. В случае процесса разумно в качестве описания его работы рассматривать протокол событий, произошедших вплоть до определенного момента времени. Для обозначения произвольного протокола процесса можно использовать специальную переменную ...
018. Атрибут, 019. Элемент, 020. Структура, 022. Проект, 023. Схема, 024. Дефиниция, 025. Концепция, 033. План, 043. Параметр, 045. Тип
Система проектирования спецификаций
Спецификация модели *
Спецификация требований программного обеспечения (Формальная спецификация, Функциональная спецификация, Шаблон проектирования)
Process Specification Language * (Axiom schema of specification, Семантическое Версионирование, Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных)
https://telegra.ph/Specifikaciya-09-14
sergey shishkin September 14, 2021
048. С практикой программирования оказалось, что компьютерные системы и есть продукты формализации и её методы, и методы эффективные. Поэтому и считают, что информатика замещает математику, логику, лингвистику и тем более, философию. По сути, компьютерное моделирование - методология, в основе которой универсальный "измерительный" инструмент (вычислительный аппарат с автоматической программируемой памятью). Мы можем обозначать эти процессы рационализацией, абстрагированием, концептуализацией, классификацией, типизацией, детализацией, стандартизацинй, атрибуцией, характеризацией, ... и, например, спецификацией. Спецификация - та же самая идентификация и дефиниция. Выделение параметров и их отношений. Процесс моделирования. И код модели. Буквально, "специальные действия фиксирования". Термин активно используется для формуляров, формальных систем, документации, инструкций. Всё есть параметры спецификаций! Спецификация - предикация с вариативными параметрами.
Спецификация - предикат со свободными переменными. В случае процесса разумно в качестве описания его работы рассматривать протокол событий, произошедших вплоть до определенного момента времени. Для обозначения произвольного протокола процесса можно использовать специальную переменную ...
018. Атрибут, 019. Элемент, 020. Структура, 022. Проект, 023. Схема, 024. Дефиниция, 025. Концепция, 033. План, 043. Параметр, 045. Тип
Система проектирования спецификаций
Спецификация модели *
Спецификация требований программного обеспечения (Формальная спецификация, Функциональная спецификация, Шаблон проектирования)
Process Specification Language * (Axiom schema of specification, Семантическое Версионирование, Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных)