Measuring the comprehensibility of Z specifications.

Kate Finney Keith Rennolls Alexander M. Fedorec

Published in: J. Syst. Softw. (1998)

Keyphrases

high level
machine learning
formal specification
specification language
data structure
delay insensitive
real time
learning algorithm
evolutionary algorithm
rule sets
finite state machines
control flow
transition systems
bounded model checking