Humord

Anbefalt 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>

Overordnede begreper

Identifikator

  • HUME64065

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

På andre språk

engelsk

norsk nynorsk

URI

http://data.ub.uio.no/humord/c64065

Last ned dette begrepet