Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.
Kent Inge Fagerland SimonsenLars Michael KristensenPublished in: DAIS (2014)
Keyphrases
- code generation
- formal specification
- application development
- code generator
- formal analysis
- software development
- modeling language
- model driven
- software reuse
- rapid prototyping
- data driven
- model checking
- databases
- e learning
- artificial intelligence
- design patterns
- computer aided
- web applications
- image analysis
- real world
- database