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: MSVVEIS (2006)
Keyphrases
- formal specification
- object oriented design
- real time systems
- formal methods
- metamodel
- specification language
- specification languages
- uml models
- software design
- embedded real time systems
- real time embedded
- process algebra
- concurrent systems
- modeling language
- embedded systems
- reverse engineering
- conceptual models
- knowledge base
- real time
- development process
- software architecture
- model checking
- design process
- architectural model
- software engineering
- cooperative
- databases