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

Bibliographic Item (1.0)

HamiltonHackler08

  1. Margaret H Hamilton & William R Hackler
  2. Universal Systems Language: Lessons Learned from Apollo
  3. IEEE Computer Magazine V41n12(Dec 2008)pp34-43
  4. =HISTORY CORRECT DESIGN EVOLUTION HOS USL FUNCTIONAL DECOMPOSITION
  5. Apollo space mission 1961-1975.
  6. Functions and maps decomposed using three structures: Join, Include, Or. (=~= ";", "&", "|" in MATHS).
  7. Theories of correctness and tools to check such decomposition.
  8. Still blindsided by events. Reality had unexpected properties.
  9. The power of a global reset when an inconsistent state occurs.
  10. Asynchronous process and asynchronous software,
  11. (dick)|-further developed into language AXES, tool USE.IT and company HOS in the 1980's.

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]