EventB2Java: A Code Generator for Event-B.

Néstor Cataño Victor Rivera

Published in: NFM (2016)

Keyphrases

code generator
code generation
automatically generated
process model
java code
object oriented
open source
source code
byte code
runtime environment
databases
relational databases
web applications
database applications
java programs
java virtual machine