A Framework for Software Architecture Verification.

Kurt Lichtner Paulo S. C. Alencar Donald D. Cowan

Published in: Australian Software Engineering Conference (2000)

Keyphrases

software architecture
software systems
distributed systems
software development
design patterns
reference model
description language
functional requirements
reference architecture
software engineering
source code
process model