Automatic code generation from event-B models.

Dominique Méry Neeraj Kumar Singh

Published in: SoICT (2011)

Keyphrases

code generation
information systems
data driven
lightweight
application development
model driven
real world
expert systems