Login / Signup
Structuring specifications in Z.
J. C. P. Woodcock
Published in:
Softw. Eng. J. (1989)
Keyphrases
</>
delay insensitive
written in natural language
real world
high level
databases
neural network
information retrieval
website
expert systems
artificial neural networks
formal specification
specification language
reactive systems
transition systems