achieving specific goals and include four main types of specification (detailing