Formal Specification
From Suhrid.net Wiki
Jump to navigationJump to search
- A specification is a statement of requirements for a system, object or process.
- A formal specification is one in which the language of mathematics is used to construct such a statement.