Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring.
Yue LuAntonio CicchettiStefan BygdeJohan KraftChrister NorströmPublished in: COMPSAC (2) (2009)
Keyphrases
- real time systems
- high level
- real time
- real time database systems
- embedded systems
- distributed systems
- semantic information
- reactive systems
- fine grained
- mission critical
- timing constraints
- domain ontology
- computer science
- natural language
- database systems
- architectural model
- real time embedded
- embedded real time systems