Специфікація

Матеріал з Вікіпедії — вільної енциклопедії.

Специфікація (англ. specification) — формалізований опис властивостей, характеристик і функцій об`єктів.

[ред.] Специфікації у інформатиці

[ред.] Формальна специфікація

Докладніше у статті: Формальна специфікація

Форма́льна специфіка́ція — математичне описання програмного забезпечення або обладнання, яке може бути використане для розробки реалізації. В ній описується, що має робити система, але не (обов'язково) вказується як. Маючи таку специфікацію, можна, використовуючи техніку формальної верифікації продемонструвати, що запропонований проект системи є правильним, по відношенню до специфікації. Такий підхід має перевагу в тому, що запропоновані невірні проекти систем можуть бути переглянуті до того як буде зроблено основні витрати на власне саму реалізацію. Альтернативний підхід полягає в тому, аби, виконуючи кроки по уточненню специфікації, вірність яких можна довести, перетворити специфікацію на реалізацію, яка буде вірною через побудову.

[ред.] Див. також

• Технічне завдання