The LIME Interface Specification Language and Runtime Monitoring Tool.
Kari KähkönenJani LampinenKeijo HeljankoIlkka NiemeläPublished in: RV (2009)
Keyphrases
- specification language
- formal specification
- software environment
- programming language
- user friendly
- description language
- graphical interface
- real time
- graphical user interface
- symbolic execution
- user interface
- monitoring system
- tool wear
- distributed systems
- friendly interface
- fine grained
- object oriented
- case study
- databases