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

Bibliographic Item (1.0)

AtleeBuckley96

  1. Joanne M Atlee & Michael A Buckley
  2. A logic-Model Semantics for SCR Software Requirements
  3. Proc 1996 Int Symposium on Software Testing & Analysis(ISSTA) & ACM SIGSOFT SENotes V21n3(May 1996)pp280-292
  4. =IDEA LOGIC SCR REQUIREMENTS TABULAR
  5. SCR::="Software Cost Reduction"
  6. SCR Statecharts RSML all share conditioned-event-driven reactive systems. demos analytical requirements temporal logic model and tool SMV::="Symbolic Model Verifier". CTL::=Computational Tree Logic
  7. See CORE [WilliamsL94] [HeimdahlLeveson96]

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]