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

Bibliographic Item (1.0)

LetierLamsweerde02

  1. Emmanuel Letier & Axel van Lamsweerde
  2. deriving Operational Software specifications from System Goals
  3. SIGSOFT 2002/FSE 10 & ACM SIGSOFT Software Engineering Notes V27n6(Nov 2002)pp119-128
  4. =DEMO SYSTEM REQUIREMENTS GOAL REFINEMENT PATTERNS LOGIC AND/OR TEMPORAL RT-LTL REALITY ENTITY RELATIONSHIP OPERATION SPECIFICATION
  5. An operation is a temporal proposition defined by the current truth of a set of preconditions and the truth in the next step of a set of postconditions.
  6. goal_patterns::=achieve | maintain_avoid.
  7. achieve::= unbounded_achieve | bounded_achieve | immediate_achieve.
  8. unbounded_achieve: for always if C then sometime T.
  9. maintain_avoid::= state_invariance | transition_invariance.
  10. state_invariance::=global_invariance | after_invariance | in-between_invariance.

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]