Towards More Flexible Development of Z Specifications.

Zheng Fu Graeme Smith

Published in: TASE (2008)

Keyphrases

case study
machine learning
design principles
development environment
artificial intelligence
high level
software engineering
programming language
rapid development
st century
specification language