Ответы / ekzamennatsionnye_voprosy

Жизненный цикл программного обеспечения. Состав процессов жизненного цикла.

Жизненный цикл программного обеспечения. Основные этапы жизненного цикла.

Каскадная модель жизненного цикла программного обеспечения.

Модель жизненного цикла программного обеспечения с промежуточным контролем.

Спиральная модель жизненного цикла программного обеспечения.

Общие требования к программному обеспечению.

Методология, метод, нотация и средства CASE-технологий.

RAD технологии разработки программного обеспечения и технологии, лежащие в их основе.

Основные этапы RAD-технологий.

Нотация SADT-технологии разработки программного обеспечения.

DFD-технология разработки программного обеспечения. Процесс построение контекстной диаграммы.

DFD-технология разработки программного обеспечения. Процесс построение диаграмм иерархии.

Нотация Йордана DFD-технологии разработки программного обеспечения.

Нотация Гейна – Сарсона DFD-технологии разработки программного обеспечения.

Назначение языка UML.

Общая структура языка UML.

Диаграмма вариантов использования (use case diagram) UML.

Диаграмма классов (class diagram) UML.

Диаграмма состояний (statechart diagram) UML.

Диаграмма деятельности (activity diagram) UML.

Диаграмма последовательности (sequence diagram) UML.

Диаграмма кооперации (collaboration diagram) UML.

Диаграмма компонентов (component diagram) UML.

Диаграмма развертывания (deployment diagram) UML.

Структурные карты Константайна.

Программные модули. Требования к модульной структуре программного обеспечения.

Схемы HIPO.

Диаграммы Джексона.

Диаграммы Варнье – Орра.

Схемы данных в унифицированной системе программной документации.

Схемы программ в унифицированной системе программной документации.

Схемы работы системы в унифицированной системе программной документации.

Схемы взаимодействия программ в унифицированной системе программной документации.

Схемы ресурсов в унифицированной системе программной документации.

Flow-формы.

Диаграммы Насси-Шнейдермана.

Функциональные сети.

Алгебра регулярных множеств и эквивалентность структур программ.

Интуиционистская логика и эквивалентность описаний задач.

Логика проблем и задач и И-ИЛИ-графы.

Алгоритмы решения задач на И-ИЛИ-графах.

Язык исчисления высказываний, как средство определения состояний вычислительного процесса.

Правила порождения эквивалентностей в алгоритмических логиках.

Язык исчисления предикатов, как средство определения состояний вычислительного процесса.

Кванторы алгоритмической логики.

Свободные и связанные идентификаторы в формулах алгоритмической логики.

Подстановки в формулах алгоритмической логики.

Теоремы о подстановках алгоритмической логики.

Использование трехзначной алгоритмической логики в спецификациях программ.

Спецификации программ средствами алгоритмической логики.

Определение и свойства преобразователя предикатов.

Преобразователь предикатов, как средство верификации программ.