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

Bibliographic Item (1.0)

HallChapman02
  1. Anthony Hall & Roderick Chapman
  2. Correctness by Construction: Developing a Commercial Secure System
  3. IEEE Software Magazine V19n1(Jan/Feb 2002)pp18-25
  4. =EXPERIENCE CORRECTNESS SECURITY FORMAL Z CSP MODEL PREDICTABLE PROCESS TOOLS COTS MXI Multos Spark Ada95 GUI C++ MSFC
  5. CA:="Certification Authority", Certifying smart cards.
  6. Process with 17 deliverables
  7. Handled risks by trailblazing prototypes.
  8. Rigorous static code checking: BoundsChecker and PC-Lint.
  9. Avoided unit testing as expensive and ineffective.
  10. Used incremental builds: many real tiny systems with tests derived from specification and automated (Rational Visual test)
  11. Defects introduced mainly in spec and coding.
  12. Coding Defects almost entirely removed in code reviews and developer testing.
  13. Spec errors removed in all later phases, mainly in architecture and code.
  14. In operation only 4 defects: 3 from coding and one from spec. Out of 100 KLoC.
  15. Productivity: 28 lines of code per day. Work: requirements 2% specification+architecture 25%, code 14%, Test 34%, fault fixing 6%, management 10% training etc 9%.
  16. achieved 0.04 defects per thousand line of delivered code.

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]