Keywords

Architectural idioms (or styles) Interface definition languages

Architectural design rules Partial specification

Composability Program slicing

Components Protocol specifications

Concurrent and distributed systems Reverse engineering

Connectors Semantic match

Dataflow dependencies Signature matching

Designer's associate Software architecture

Formal methods Software analysis

Formal specifications Software frameworks

Heterogeneous architectures Specification matching

Interoperability Tractable representations

Interface specifications