Программы проектирования /Design Programs

Доказательство (proof ) — попытки найти в программе ошибки путем доказательств на основе математических теорем о правильности программы, безотносительно к внешней программной среде. [Камаев В.

Переменная динамическая – это как бы статическая переменная, но размещаемая в особой области памяти вне кода программы. В любой момент времени память для размещения динамических переменных

Диаграмма потоков данных ( ДПД ) – диаграмма, которая описывает порядок изменения данных от их источников через преобразующие их процессы к их потребителям. [Камаев В.

Диаграмма кооперативная – диаграмма, которая отражают ту же самую информацию, что и диаграммы последовательности, но связь со временем отсутствует. [Камаев В. А., Костерин В. В. Основные

Диаграмма компонентов – диаграмма, которая показывает, как выглядит модель на физическом уровне. На ней изображаются компоненты (файлы) программы и связи между ними. [Камаев В. А.,