Prototyping Z specifications in extended Lisp
Much research has identified shortcomings in the Requirements Description to be the key factor in the failure of many software development projects; the development of formal specification techniques and notations allows the unambiguous statement of requirements, against which an implementation can...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Sheffield Hallam University
2001
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.247229 |