A Framework for the Pragmatic Quality of Z Specifications.

Published in: Int. J. Softw. Eng. Knowl. Eng. (2006)

Keyphrases

high quality
case study
database systems
formal specification
higher quality
conceptual framework
main contribution
artificial neural networks
framework enables
specification language
key features
theoretical framework
real time
search algorithm
multiscale
neural network
data sets