A Formalization of Software Architecture.

John Herbert Bruno Dutertre Robert A. Riemenschneider Victoria Stavridou

Published in: World Congress on Formal Methods (1999)

Keyphrases

software architecture
description language
reference model
architectural design
reference architecture
software engineering
functional requirements
software systems
knowledge representation
software development
embedded software
distributed systems
software evolution
design patterns
low cost
cooperative
database