Набор необходимых и достаточных для достижения цели элементов и подсистем (и компонентов) системы
Отношение моделей с отображаемой ими реальностью
РАЗЛИЧИЯ
Адекватность – выполнение требований полноты, точности, правильности в той мере, которой достаточно для достижения цели
Формальная система определена, если:
Контекстно-зависимые языки соответствуют системной сложности объектов предметной области.
Основные характеристики ПО-языка как КЗ-языка
Словарь (тезаурус), определяющий правила вхождения, употребления, значения, написания элементов лексики.
Правила объединения лексических элементов в структуры более высокого уровня (предложение, абзац…).
Семантика контекстно-зависимого общения, обеспечивающего представимость сложной системы.
Баланс между формализованностью и контекстно-зависимостью записей.
Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть