Login / Signup

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.

Anamaria Martins MoreiraCleverton HentzDavid DéharbeErnesto Cid Brasil de MatosJoão Batista de Souza NetoValério de Medeiros Jr.
Published in: TAP@STAF (2015)
Keyphrases
  • real world
  • e learning
  • case study
  • data driven
  • building blocks
  • model driven
  • code generation