Anbefalt term
Formell spesifikasjon
Type
- Innholdsbeskrivende emne
Definisjon
- Spesifikasjon (beskrivelse av et system og dets ønskede egenskaper) som bruker et språk med en matematisk definert syntaks og semantikk [Runde 2000]
Overordnede begreper
Hører til inndeling
Identifikator
- REAL006461
På andre språk
engelsk
norsk nynorsk
URI
http://data.ub.uio.no/realfagstermer/c006461