"formell spesifikasjon" er et 21-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Detaljert spesifikasjon med formelle regler.