some of the following attributes: adequate, internally consistent, unambiguous, complete, satisfied, minimal.

A good specification will have:
* Constructability, manageability and evolvability
* Usability
* Communicability
* Powerful and efficient analysis

One of the main reasons there is interest in formal specifications is that they will provide an ability to perform proofs on software implementations. These proofs may be used to validate a specification,

1.Previous
3.Next