Humord

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

Norwegian Nynorsk

URI

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

Download this concept