specific goals and include four main types of specification