Towards Verified Java Code Generation from Concurrent State Machines.
Dan ZhangDragan BosnackiMark van den BrandLuc EngelenCornelis HuizingRuurd KuiperAnton WijsPublished in: AMT@MoDELS (2014)
Keyphrases
- code generation
- state machines
- state machine
- application development
- petri net
- software development
- code generator
- recurrent networks
- software reuse
- model driven
- formal specification
- modeling language
- rapid prototyping
- web applications
- development environment
- source code
- design patterns
- data processing
- data driven
- open source
- reactive systems
- artificial intelligence
- sequence diagrams
- object oriented
- design tools
- software components
- web services
- runtime environment
- metadata