Ada 95 as implementation vehicle for formal specifications.
K. BrinkJan van KatwijkW. J. ToetenelPublished in: RTCSA (1996)
Keyphrases
- formal specification
- specification language
- formal specification language
- real time
- object oriented design
- design methodology
- protocol specification
- programming language
- knowledge based systems
- databases
- information systems
- knowledge base
- knowledge acquisition
- pedestrian detection
- formal methods
- specification languages