Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams.
Mohammad Hossein Askari HemmatOtmane Aït MohamedMounir BoukadoumPublished in: ISCAS (2016)
Keyphrases
- intermediate representation
- code generation
- sequence diagrams
- activity diagrams
- modeling language
- metamodel
- class diagrams
- formal semantics
- application development
- operational semantics
- software development
- model driven
- formal specification
- software reuse
- design patterns
- development process
- case study
- requirements engineering
- databases
- software systems
- software engineering