A Categorical Approach to Structuring and Promoting Z Specifications.

Pablo F. Castro Nazareno Aguirre Carlos Gustavo López Pombo Tom Maibaum

Published in: FACS (2012)

Keyphrases

categorical data
attribute values
functional requirements
high level
reactive systems
machine learning
case study
software systems
numerical values
delay insensitive
formal descriptions
data sets
software engineering
specification language