Specification (computing)
Redirect to:
Formal specification