(1) ஒரு specification எழுதப்பட்ட மற்றும் திட்டத்திற்கு ஒப்புதல் உள்ள accordance ஆரம்பிக்கப்பட்ட standards.~(2) ஒரு முறையான notation, அடிக்கடி தயாரிக்கும் correctness இருந்ததற்கான எழுதப்பட்ட specification.