Preferred term
Raffinering (Informatikk)
Type
- Innholdsbeskrivende emne
Definition
- 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>
Broader concept
Identifier
- HUME64065
Editorial note
- Lukket bemerkning: ubo24
In other languages
English
- Refinement (Computing)
- Refining (Computing)
Norwegian Nynorsk
URI
http://data.ub.uio.no/humord/c64065