Keywords

Architectural idioms (or styles)    Partial specification
Architectural design rules          Program slicing
Composability                       Protocol specifications
Components                          Reverse engineering
Concurrent and distributed systems  Semantic match
Connectors                          Signature matching
Dataflow dependencies               Software architecture
Designer's associate                Software analysis
Formal methods                      Software frameworks
Formal specifications               Specification Matching
Heterogeneous architectures         Tractable representations
Interoperability                    
Interface specifications
Interface definition languages