Skip to main content

Humord

Search from vocabulary

Content language

Concept information

Filosofi > Logikk > Symbolsk logikk > Formelle metoder
Realfag > Matematikk > Symbolsk logikk > Formelle metoder

Preferred term

Formelle metoder  

Type

  • Innholdsbeskrivende emne

Definition

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

Broader concept

Entry terms

  • Formelle metodar
  • Formelle system
  • Formelle systemer

Identifier

  • HUME62770

Editorial note

  • Lukket bemerkning: ubo24

In other languages

URI

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

Download this concept:

RDF/XML TURTLE JSON-LD Created 2/7/24, last modified 2/7/24