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

Bibliographic Item (1.0)


  1. Wolfgang Grieskamp & Markus Lepper
  2. Using Use Cases in Executable Z
  3. 3rd IEEE Int'l Conf Formal Engineering Methods (Sep 2000)pp111-119
  4. =DEMO FORMALIZE Black Box TEST USE CASES Executable Z Notation Lift ZAP ZETA
  5. Shows how to express use cases/scenarios in an executable form of the Z notation.

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]