Rigorous specification using structured systems analysis and Z.

Keith Mander Fiona A. C. Polack

Published in: Inf. Softw. Technol. (1995)

Keyphrases

statistical analysis
information systems
complex systems
asynchronous circuits
management system
distributed systems
high level
quantitative analysis
image analysis
evolutionary algorithm
object oriented
source code
intelligent systems
building blocks
learning systems
decision making
artificial intelligence