Диаграмма потоков данных состоит из
(*ответ*) узлов обработки данных
(*ответ*) узлов хранения данных
(*ответ*) внешних узлов
внутренних узлов
Для образования новых высказываний наиболее часто ис пользуются логические операции, выражаемые значениями
(*ответ*) НЕ
(*ответ*) И
(*ответ*) ИЛИ
ДА
Для подготовки и ввода программы в компьютер с целью последующей ее компиляции используется _ язык системы программирования
(*ответ*) исходный
объектный
загрузочный
символьный
Доказательство пра вильности программы, т.е. соответствия программы ее спецификациям, называется ее
(*ответ*) верификацией
Документ, определяющий состав сборочной единицы, комплекса, комплекта, называется
(*ответ*) спецификацией
Доступность для изучения и использования модели любому специалисту средней квалификации соответствующего профиля - это
(*ответ*) инперсонификация
Именованная часть программы, результатом выполнения которой является значение, присваиваемое имени функции, называется
(*ответ*) функцией
Исследование концепций системы и/или программного средства
(*ответ*) определение идей и потребностей создания новой или модифицированной версии программного средства и/или системы
(*ответ*) формулировка методов и потенциальных решений с учетом потребностей и ресурсов на разработку
(*ответ*) изучение реализуемости и обоснование решений при имеющихся ограничениях
(*ответ*) планирование перехода к новой версии программного средства и/или системы, если эксплуатируется предшествующая
(*ответ*) оформления идей, потребностей, методов и потенциальных решений с учетом реальных ограничений
Итерационный процесс составления программы называется
(*ответ*) программированием
К классу проблемно-ориентированных языков относятся
(*ответ*) язык Лого
(*ответ*) язык RPG
(*ответ*) система программирования GPSS
язык Бейсик
Каждая фигура на схеме алгоритма обозначает один этап процесса решения задачи и называется
(*ответ*) блоком
Ключевая идея, лежащая в основе построения концепции, называется
(*ответ*) парадигмой
Ключевое слово var перед описанием параметра является признаком параметра-
(*ответ*) переменной
значение
константа
Линейная последовательность действий, когда каждый блок может содержать в себе как простую команду, так и сложную структуру, но обязательно должен иметь один вход и один выход, называется
(*ответ*) следованием
Линейный алгоритм составляется из
(*ответ*) команд присваивания
(*ответ*) команд ввода и вывода
(*ответ*) обращения к вспомогательным алгоритмам
обращения к основным алгоритмам
Метод последовательной детализации
(*ответ*) анализируется исходная задача
(*ответ*) в задаче выделяются подзадачи
(*ответ*) строится иерархия таких подзадач
(*ответ*) составляются основные алгоритмы
(*ответ*) составляются вспомогательные алгоритмы с последовательным углублением уровня, пока не получим алгоритмы, состоящие из простых команд
Методы верификации программного средства
(*ответ*) метод аксиоматической семантики Хоара
(*ответ*) метод индуктивных утверждений Флойда
(*ответ*) абстрактная интерпретация
абстрактная модификация