Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language.
Amir A. KhwajaJoseph E. UrbanPublished in: ESA (2010)
Keyphrases
- specification language
- programming language
- real time
- description language
- formal specification
- general purpose
- requirements specification
- symbolic execution
- machine learning
- software environment
- software engineering
- dynamic programming
- real time systems
- evolutionary algorithm
- code generation
- model checker
- case study