A rule-based approach to producing Z specifications from Jackson system development.

Jonathan Lee Jiann-I Pan

Published in: Int. J. Intell. Syst. (1998)

Keyphrases

decision making
decision support
website
software engineering
real time
high quality
development environment
neural network
high level
future development
queueing networks
systems development
rapid prototyping
formal descriptions