Hopp til hovedinnholdet.

Humord

Søk fra vokabular

Innholdsspråk

Begrepsinformasjon

Realfag > Matematikk > Symbolsk logikk > Spesifikasjonsspråk
Filosofi > Logikk > Symbolsk logikk > Spesifikasjonsspråk

Anbefalt term

Spesifikasjonsspråk  

Type

  • Innholdsbeskrivende emne

Definisjon

  • Et spesifikasjonsspråk er et formelt språk innen informatikk som brukes under systemanalyse, kravanalyse og systemdesign for å beskrive et system på et mye høyere nivå enn et programmeringsspråk, som brukes til å produsere den kjørbare koden for et system. <wikipedia>

Overordnede begreper

Henvisningsterm

  • Spesifikasjonsspråk

Identifikator

  • HUME64103

Redaksjonelle bemerkninger

  • Lukket bemerkning: ubo24

På andre språk

URI

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

Last ned dette begrepet:

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