Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications.
Michael SchenkeErnst-Rüdiger OlderogPublished in: Acta Informatica (1999)
Keyphrases
- real time systems
- embedded systems
- functional requirements
- real time embedded
- real time
- distributed systems
- design principles
- architectural model
- real time database systems
- object oriented
- design requirements
- case study
- embedded real time systems
- timing constraints
- reactive systems
- mission critical
- control flow
- object oriented programming language
- multi agent systems