Login / Signup
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.
Anamaria Martins Moreira
Cleverton Hentz
David Déharbe
Ernesto Cid Brasil de Matos
João Batista de Souza Neto
Valério de Medeiros Jr.
Published in:
TAP@STAF (2015)
Keyphrases
</>
real world
e learning
case study
data driven
building blocks
model driven
code generation