[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Brownbridge90

  1. David Brownbridge(drb@paxis.co.uk)
  2. Using Z to Develop a CASE Toolset
  3. pp142-149 in Nicholls90
  4. =EXPERIENCE SSADM Z CASE
  5. 340 pages of Z -> 37KLOC object-oriented in 11 months
  6. no need of refinement
  7. needed for typechecker
  8. formal specification reviews are needed
  9. needed roadmap of hierarchy

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]