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

Bibliographic Item (1.0)

Hall96a
  1. Anthony Hall(Praxis mailto:jav@praxis.co.uk)
  2. Using Formal Methods to develop an ATC Information System
  3. IEEE Software magazine V13n3(Mar 1996)pp66-76 reprint in [HincheyBowen99] pp207-229
  4. 1989-1993 Air Traffic Control GUI display information system(CDIS) for the London Area 197KLOC(C) 15.5Kperson-days 13LOC/day 11 faults/LOC into testing 150 faults after delivery(0.75faults/KLOC)
  5. =EXPERIENCE FORMAL ER DFD VDM VVSL CSP FSM CCS
  6. HCI spec was weakest + needed more informal explanation diagrams etc + problem in gettting an overview [Barlas96]

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]