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

Bibliographic Item (1.0)

JacksonD98

  1. Daniel Jackson
  2. An Intermediate Design Language and its Analysis
  3. ACM SIGSOFT Software Engineering Notes V23n6(Nov 1998)pp121-130 & Proc 6th Int Symp on the Foundations of Software Engineering(Nov 1998)
  4. =DEMO NP/Nitpick Language/Tool of RELATIONS
  5. related to more complex Z.
  6. model sets as relations with a singleton range Unit:={unit}. compar [Maddux99]
  7. analysis by building model semantics

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]