Humord

Anbefalt term

Formelle metoder

Type

  • Innholdsbeskrivende emne

Definisjon

  • Språk, teknikker og verktøy for å utvikle programvare, basert på matematikk. Knyttes tradisjonelt først og fremst til spesifikasjon og verifikasjon av programmer. <Runde 2000>

Overordnede begreper

Henvisningsterm

  • Formelle systemer

Identifikator

  • HUME62770

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

På andre språk

engelsk

norsk nynorsk

URI

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

Last ned dette begrepet