Measuring Z specifications.

Fangjun Wu Tong Yi

Published in: ACM SIGSOFT Softw. Eng. Notes (2004)

Keyphrases

specification language
high level
real time
delay insensitive
operational semantics
functional requirements
reinforcement learning
learning algorithm
image segmentation
metadata
digital libraries
lower bound
artificial intelligence
data sets
design requirements
database
formal descriptions