The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.
Vince MolnárBence GraicsAndrás VörösIstván MajzikDániel VarróPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- database
- code generation
- application development
- reactive systems
- case study
- model checking
- design patterns
- model driven
- computer aided
- design process
- knowledge based systems
- modeling language
- design tools
- rapid prototyping
- real time
- software architecture
- temporal logic
- query language
- software testing
- formal methods
- software reuse
- user interface