From Z Specifications To Functional Implementations.

Michael Johnson Paul Sanders

Published in: Z User Workshop (1989)

Keyphrases

high level
efficient implementation
real time
delay insensitive
database
databases
neural network
information systems
website
case study
database systems
evolutionary algorithm
formal verification
written in natural language