Tilrådd term
Raffinering (Informatikk)
Type
- Innholdsbeskrivende emne
Definisjon
- Raffinering er et generisk begrep innen datavitenskap som omfatter ulike tilnærminger for å produsere korrekte dataprogrammer og forenkle eksisterende programmer for å muliggjøre deres formelle verifikasjon. <wikipedia>
Overordna omgrep
Identifikator
- HUME64065
Redaksjonelle merknadar
- Lukket bemerkning: ubo24
På andre språk
engelsk
- Refinement (Computing)
- Refining (Computing)
norsk nynorsk
URI
http://data.ub.uio.no/humord/c64065