Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Formelle metoder > Formell spesifikasjon

Anbefalt term

Formell spesifikasjon  

Type

  • Innholdsbeskrivende emne

Definisjon

  • Spesifikasjon (beskrivelse av et system og dets ønskede egenskaper) som bruker et språk med en matematisk definert syntaks og semantikk [Runde 2000]

Overordnede begreper

Hører til inndeling

Identifikator

  • REAL006461

På andre språk

URI

http://data.ub.uio.no/realfagstermer/c006461

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 25.08.2014, sist endret 06.03.2019