Behavior-Preserving Refinement Relations between Dynamic Software Architectures.

Reiko Heckel Sebastian Thöne

Published in: WADT (2004)

Keyphrases

software architecture
software engineering
software systems
dynamic behavior
dynamic analysis
case study
product line
reference model
description language
security requirements
functional requirements
architectural design
temporal behavior
dynamic environments
semantic relations
software requirements