[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Pamela Zave & Michael A Jackson
- Where Do Operations come From? Specification of Event Properties
- Preprint received Pamela Zave 1993 - Submitted for publication 1993. Published as
- =DEMO Multiparadigm specification GRAPHIC Z STDs Jackson diagrams predicate LOGIC
- sequences input events occurring at multiple events need to be mapped into central operations in a central specification
- incomprehensible graphical notation for case analysis(fig 4) is not in
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]