Program specification
A program specification is the definition of what a computer program is expected to do. It can be informal, in which case it can be considered as a blueprint or user manual from a developer point of view, or formal, in which case it has a definite meaning defined in mathematical or programmatic terms.
See also
- formal methods
- Formal verification
- formal specification
- program transformation
- denotational semantics
- Design by Contract
- B specification language
- Z specification language
- Vienna Development Method
- specification language
rogram specification
Pogram specification
Prgram specification
Proram specification
Progam specification
Progrm specification
Progra specification
Programspecification
Program pecification
Program secification
Program spcification
Program speification
Program specfication
Program speciication
Program specifcation
Program specifiation
Program specifiction
Program specificaion
Program specificaton
Program specificatin
Program specificatio
rPogram specification
Porgram specification
Prgoram specification
Prorgam specification
Progarm specification
Progrma specification
Progra mspecification
Programs pecification
Program psecification
Program sepcification
Program spceification
Program speicfication
Program specfiication
Program speciifcation
Program specifciation
Program specifiaction
Program specifictaion
Program specificaiton
Program specificatoin
Program specificatino
Program specificatio
PProgram specification
Prrogram specification
Proogram specification
Proggram specification
Progrram specification
Prograam specification
Programm specification
Program specification
Program sspecification
Program sppecification
Program speecification
Program speccification
Program speciification
Program speciffication
Program specifiication
Program specificcation
Program specificaation
Program specificattion
Program specificatiion
Program specificatioon
Program specificationn
rogram specification
pogram specification
prgram specification
proram specification
progam specification
progrm specification
progra specification
programspecification
program pecification
program secification
program spcification
program speification
program specfication
program speciication
program specifcation
program specifiation
program specifiction
program specificaion
program specificaton
program specificatin
program specificatio
rpogram specification
porgram specification
prgoram specification
prorgam specification
progarm specification
progrma specification
progra mspecification
programs pecification
program psecification
program sepcification
program spceification
program speicfication
program specfiication
program speciifcation
program specifciation
program specifiaction
program specifictaion
program specificaiton
program specificatoin
program specificatino
program specificatio
pprogram specification
prrogram specification
proogram specification
proggram specification
progrram specification
prograam specification
programm specification
program specification
program sspecification
program sppecification
program speecification
program speccification
program speciification
program speciffication
program specifiication
program specificcation
program specificaation
program specificattion
program specificatiion
program specificatioon
program specificationn