Hopp til hovedinnholdet.

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Formell spesifikasjon
Filosofi > Logikk > Symbolsk logikk > 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

Henvisningsterm

  • Formell spesifikasjon

Identifikator

  • HUME62769

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

På andre språk

URI

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

Last ned dette begrepet:

RDF/XML TURTLE JSON-LD Opprettet 07.02.2024, sist endret 07.02.2024