[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- David Brownbridge(email@example.com)
- Using Z to Develop a CASE Toolset
- pp142-149 in Nicholls90
- =EXPERIENCE SSADM Z CASE
- 340 pages of Z -> 37KLOC object-oriented in 11 months
- no need of refinement
- needed for typechecker
- formal specification reviews are needed
- needed roadmap of hierarchy
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]