Humord
type: ConceptScheme

Verifikasjon (Databehandling)
type: Innholdsbeskrivende emne
type: Concept
narrower: Raffinering (Informatikk)
preferred label: Verification (Computing) @en

Raffinering (Informatikk)
type: Innholdsbeskrivende emne
type: Concept
created: 2024-03-07T00:00:00
modified: 2024-03-07T10:07:42
alternative label: Refining (Computing) @en
broader: Verifikasjon (Databehandling)
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>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
preferred label: Refinement (Computing) @en

Innholdsbeskrivende emne
type: Class
label: Topic @en