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

Bibliographic Item (1.0)

ZaveJackson9X
  1. Pamela Zave & Michael A Jackson
  2. Where Do Operations come From? Specification of Event Properties
  3. Preprint received Pamela Zave 1993 - Submitted for publication 1993. Published as [ZaveJackson96]
  4. =DEMO Multiparadigm specification GRAPHIC Z STDs Jackson diagrams predicate LOGIC
  5. sequences input events occurring at multiple events need to be mapped into central operations in a central specification
  6. incomprehensible graphical notation for case analysis(fig 4) is not in [ZaveJackson96]

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]