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

Bibliographic Item (1.0)

LamsweerdeWillemet98

  1. Axel van Lamsweered & Laurent Willemet
  2. Inferring Declarative Requirements Specifications from Operational Scenarios
  3. IEEE Trans SE V24n12(Dec 1998)pp1089-1114
  4. =DEMO USER to PURPOSE TLA FORMAL LOGIC LANGUAGE KAOS WHY+WHO+WHEN+WHAT Lift
  5. Stakeholders may have problems expresssing requirements in abstract but typical scenarios are easier to elicit.
  6. SCENARIO as example of or counter-example to abstraction
  7. Scenario=sequence diagram, Goal.types={achieve, Cease, maintain, avoid}.

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]