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 systemer
Identifier
- HUME62770
Editorial note
- Lukket bemerkning: ubo24
In other languages
English
- Formal methods
- Formal systems
Norwegian Nynorsk
- Formelle metodar
- Formelle system
URI
http://data.ub.uio.no/humord/c62770