RT-FRORL: a formal requirements specification language for specifying real-time systems.
Jeffrey J. P. TsaiHung-Chin JangKaren J. SchellingerPublished in: COMPSAC (1991)
Keyphrases
- real time systems
- specification language
- formal specification
- requirements specification
- real time
- distributed systems
- programming language
- timing constraints
- description language
- real time database systems
- model checking
- formal methods
- architectural model
- embedded systems
- software environment
- database
- software engineering
- reverse engineering
- real time databases
- requirements engineering
- real time embedded
- anytime algorithms
- case study
- search algorithm
- relational databases
- petri net
- domain specific
- low cost