Semiformell notation: definition och detaljerad information
- Term
- Semiformell notation
- Definition
- En beskrivningsteknik vars syntax är fullständigt definierad men där semantiken kan vara ofullständig.
- Engelska motsvarigheter
- Semi-formal notation
- Kategori
- Kravnotation
- Översatt från
- ISO 26262-1:2011
- Inlagd
- 2015-05-31
- Senast ändrad
- 2016-01-22
- Snabblänk (till denna sida)
- https://kravterm.se/semiformell~notation
Definitionen ur ISO 26262-1:2011 har översatts av Patrik Sternudd och används med vederbörligt tillstånd från SIS Förlag AB som medlem i ISO. ISO äger upphovsrätten till ISO 26262-1:2011.
Termens kategori kravnotation är beskriven i Terminologi med förklaringar.