Humord
Verifikasjon (Databehandling)
Verification (Computing)
Refining (Computing)
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>
Lukket bemerkning: ubo24
Raffinering (Informatikk)
Refinement (Computing)
Innholdsbeskrivende emne
Topic