RT-ASLAN: A Specification Language for Real-Time Systems.
Brent AuernheimerRichard A. KemmererPublished in: IEEE Trans. Software Eng. (1986)
Keyphrases
- real time systems
- specification language
- formal specification
- programming language
- real time
- description language
- distributed systems
- embedded systems
- timing constraints
- architectural model
- software environment
- real time database systems
- mission critical
- object oriented programming language
- software components
- domain specific
- low cost
- software engineering
- object oriented
- dynamic programming
- database systems
- real time embedded
- artificial intelligence