HDL code generation from UML/MARTE sequence diagrams for verification and synthesis.
Emad EbeidFranco FummiDavide QuagliaPublished in: Des. Autom. Embed. Syst. (2015)
Keyphrases
- sequence diagrams
- code generation
- class diagrams
- uml models
- petri net
- application development
- code generator
- software development
- activity diagrams
- intermediate representation
- modeling language
- formal specification
- model driven
- class diagram
- test cases
- regression testing
- model checking
- model based testing
- rapid prototyping
- dependency graph
- test generation
- software reuse
- design patterns
- databases
- development process
- data driven
- web applications