A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Kawtar Benghazi AkhlakiManuel I. Capel TuñónJuan Antonio Holgado TerrizaLuis E. Mendoza MoralesPublished in: Sci. Comput. Program. (2007)
Keyphrases
- formal specification
- real time systems
- object oriented design
- formal methods
- specification language
- metamodel
- uml models
- embedded systems
- real time embedded
- specification languages
- software systems
- object oriented systems
- case study
- knowledge based systems
- code generation
- object oriented
- object oriented programming language
- embedded real time systems
- unified modeling language
- architectural model
- modeling language
- distributed systems
- database systems