Automated Code Generation for DES Controllers Modeled as Finite State Machines.
Tiago PossatoJoão H. ValentiniLuiz Fernando Puttow SouthierMarcelo TeixeiraPublished in: SBMF (2023)
Keyphrases
- finite state machines
- code generation
- application development
- model checking
- finite state automata
- formal specification
- code generator
- software development
- modeling language
- regular expressions
- model driven
- rapid prototyping
- databases
- user interface
- computer aided
- software reuse
- data processing
- web applications
- mutation testing