Architecture Specifications, Analysis and Design