[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Millions of lines of code.
Formal methods: VDM & Harlan Mills. Complete training. Added tools. Used method+tool to separate module specification from module implementation... hance C++ and Ada rather than a separate language for design
Reuse. Has to be planned for. Rules: encapsulation, parameterized, generalized. Opposite of old technique. Centrally maintained Boeblingen Building blocks - zero defects, in use through out IBM.
Process: Well documented, publicized (Radice) and now online.
Academe vs practice? Also no sharing of practices.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]