"formell utforming" er et 17-bokstavers substantiv som brukes som synonym for "objektsspråk". objektsspråk betyr: Utforming med strenge formelle krav.