Specifications and Architecture