Structural Metrics for Z Specifications.

Robin W. Whitty

Published in: Z User Workshop (1989)

Keyphrases

structural information
neural network
formal specification
high level
functional requirements
operational semantics
databases
feature selection
evaluation metrics
similarity metrics
control flow
structural models
delay insensitive