Specifikace programu

specifikace programu je definice čeho počítačový program je čekal, že dělá. To může být neformální, v takovém případě to může být považováno za modrotisk nebo manuál uživatele od vývojářského hlediska, nebo formální, v takovém případě to má konečný smysl definovaný v matematických nebo programových podmínkách.

Viz též:

• formální metody
• formální specifikace
• transformace programu
• denotational sémantika
• Design kontraktem
• B jazyk specifikace
• Z jazyk specifikace
• Vídeň rozvojová metoda
• jazyk specifikace