Abstractions and patterns of interactions and relationships among modules. Design recovery; relationship of architecture to requirements and testing.