Глоссарий
Спецификации программных систем

Спецификация программной системы
Спецификация программной системы - описание системы, которое полностью определяет ее цель и функциональные возможности. Различают:
- словесные спецификации на естественном языке;
- модельные спецификации;
- формальные спецификации.

Диаграмма потоков данных
англ.Data flow diagram (DFD)
Диаграмма потоков данных - информационная модель, основными компонентами которой являются:
- внешние сущности, представляющее собой источник или приемник информации;
- процессы преобразования входных данных в выходные в соответствии с определенным алгоритмом;
- накопители данных, в которые можно помещать и извлекать информацию;
- поток данных, определяющий информацию, передаваемую через некоторое соединение от источника к приемнику.

Модельные спецификации
син.Структурированные спецификации
Модельные спецификации - спецификации, предполагающие построение схем, диаграмм и других информационных структур.

Программный документ
англ.Program document
Программный документ - документ, содержащий сведения, необходимые для разработки, изготовления, эксплуатации и сопровождения программного изделия.

Синтезирующее программирование
Синтезирующее программирование - программирование, предполагающее синтез программы по ее спецификации.

Спецификация
англ.Specification
Спецификация - подробное описание:
- заказываемой или поставляемой партии товара с указанием качества (сорта), размера и количества;
- работы, подлежащей выполнению.
Обычно спецификация является приложением к договору.

Формальные спецификации
Формальные спецификации - спецификации, полученные формальным способом с использованием математических формализмов, которые обеспечивают полное определение семантики.

Функциональные спецификации
Функциональные спецификации - спецификации, описывающие функцию программы.

Эксплуатационные спецификации
Эксплуатационные спецификации - спецификации, описывающие:
- скорость работы программы;
- используемые ресурсы;
- характеристики аппаратуры;
- специальные требования к надежности и безопасности.

Язык спецификации
Язык спецификации - рационально оформленный и синтаксически организованный набор средств спецификации программных систем.

[ 06-05-2024 www.glossary.ru]