A systematic review of code generation proposals from state machine specifications.
Eladio DomínguezBeatriz PérezÁngel Luis RubioMaría A. ZapataPublished in: Inf. Softw. Technol. (2012)
Keyphrases
- code generation
- state machine
- systematic review
- state machines
- empirical studies
- formal specification
- application development
- finite state machines
- software development
- fault tolerant
- model checking
- modeling language
- code generator
- model driven
- software reuse
- design patterns
- rapid prototyping
- artificial intelligence
- real world
- databases
- software systems
- end users
- user interface
- information technology