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

Bibliographic Item (1.0)

ZaveJackson97a
  1. Pamela Zave<pamela@research.att.com> & Michael A Jackson
  2. Requirements for Telecommonications Services: An Attack on Complexity
  3. RE'97 [RE'97] pp106-117
  4. =CASE-STUDY TABULAR FSM/STD FORMAL REQUIREMENTS

    [ZaveJackson96]

  5. effective techniques based on general principles: define the environment not the new system + leave out unnecessary + formalize only when effecive and helpful+combine and specialize languages + parallel state decomposition + uniform event semantics with no internal events(no vars if can refer to attributes of most recent events)

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]