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

Bibliographic Item (1.0)

Thomas92
  1. Martin Thomas
  2. Limits and Customers are Driving Change (Insider dept)
  3. IEEE Software V9n2(Mar 1992)p10
  4. =ARTICLE FORMAL METHODS STANDARDS VDM Z REQUIREMENTS OUTSOURCED TECHNICAL
  5. "Software Engineering is emerging as a true engineeering discipline with structures + standards+ ethics + attitudes similar to traditional engineering.
  6. This accounts for the growing use of mathematical formal development methods such as VDM and Z.
  7. These methods are proving to be suitable for a wide range of projects particularly for requirements capture and analysis and high-level design.
  8. [...] split between architects and builders[...]subcontracting to developers in low-wage third-world countries."

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]