Semantics, implementation and pragmatics of Clear, a program specification language
Specifications are necessary for communicating decisions and intentions and for documenting results at many stages of the program development process. Informal specifications are typically used today, but they are imprecise and often ambiguous. Formal specifications are precise and exact but are mor...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1982
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280982 |