Intertwining Implementation with the RealSpec Executable Real-Time Specification Language.
Amir A. KhwajaJoseph E. UrbanPublished in: SEKE (2010)
Keyphrases
- specification language
- formal specification
- real time
- description language
- programming language
- software environment
- model checking
- symbolic execution
- requirements specification
- general purpose
- orders of magnitude
- database
- software architecture
- reverse engineering
- control system
- multi agent
- database systems
- information systems