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

Bibliographic Item (1.0)

PetersParnas00

  1. Dennis K Peters & David L Parnas
  2. Requirements-based Monitors for Real-Time Systems
  3. Proc ISSTA 00 & ACM SIGSOFT Software Engineering Notes V25n5(Sep 2000)pp77-85
  4. =THEORY REQUIREMENTS LOGIC TEST TIMING ERRORS
  5. Mathematical specification of IN OUT REQ allow the derivation of a machine that observes IN OUT and reports if they are OK or not.
  6. could be used in testing an as safety device in use.
  7. In practice the monitor can fail.
  8. compare with user tests in XP!
  9. Compare with [Littlewood00]
  10. See [PetersParnas98]
  11. See [PetersParnas02]

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]