Architectural Design in Object-Z.

Tim McComb Graeme Smith

Published in: Australian Software Engineering Conference (2004)

Keyphrases

architectural design
design decisions
detailed design
software architecture
d objects
complex objects
multiple objects
multi view
artificial intelligence
trade off
software engineering
data objects
spatial relations
partial occlusion
target object