Spesifikasjon (beskrivelse av et system og dets ønskede egenskaper) som bruker et språk med en matematisk definert syntaks og semantikk <Runde 2000>
Lukket bemerkning: ubo24
Humord
Formell spesifikasjon
Formal specification
Symbolic logic
Symbolsk logikk
Innholdsbeskrivende emne
Topic