Tilrådd 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>
Overordna omgrep
Identifikator
- HUME62769
Redaksjonelle merknadar
- Lukket bemerkning: ubo24
På andre språk
engelsk
norsk nynorsk
URI
http://data.ub.uio.no/humord/c62769