Object-Oriented Specification:Analysable Patterns & Change Management
Formal techniques have been shown to be useful in the development of correct software. But the level of expertise required of practitioners of these techniques prohibits their widespread adoption. Attempts to integrate formal specification techniques with modern, often agile, software development pr...
| Main Author: | |
|---|---|
| Published: |
Imperial College London
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.506765 |