A Z Specification of Use Cases: A Preliminary Report.

Greg Butler Peter Grogono Ferhat Khendek

Published in: APSEC (1997)

Keyphrases

specification language
high level
expert systems
artificial intelligence
information systems
probabilistic model
case base