База ответов ИНТУИТ

Методы и средства инженерии программного обеспечения

<<- Назад к вопросам

Декларативные средства КЯ - это:

(Отметьте один правильный вариант ответа.)

Варианты ответа
операторы и процедуры для описания объектов ПрО с помощью концепторов, состоящих из разделов для определения объектов решаемой задачи и действий над ними
типизированный, многосортный логикоматематический язык задания выражений и структуризации множества значений (денотат)(Верный ответ)
аксиомы и утверждения относительно концепторного описания и проведения дедуктивного доказательства и верификации этого описания
Похожие вопросы
Теоретические средства - это:
Инструментальные средства - это:
Императивные средства КЯ - это:
Основные средства UML к формированию и представлению требований к системе и к ПО - это: