A Tool for Defining the Architecture of Z Specifications.

Andrew Charles Coombes John Alexander McDermid

Published in: Z User Workshop (1990)

Keyphrases

software architecture
database
real time
software engineering
conceptual model
software tools
data flow
distributed architecture
reactive systems
artificial intelligence
web applications
visualization tool
design considerations
hardware architecture
layered architecture