"Bagatelle in C arranged for VDM SoLo"

@article{Oliveira2001BagatelleIC,
  title={"Bagatelle in C arranged for VDM SoLo"},
  author={Jos{\'e} Nuno Oliveira},
  journal={J. UCS},
  year={2001},
  volume={7},
  pages={754-781}
}
This paper sketches a reverse engineering discipline which combines formal and semi-formal methods. Central to the former is denotational semantics, expressed in the ISO/IEC 13817-1 standard specification language (VDM-SL). This is strengthened with algebra of programming, which is applied in “reverse order” so as to reconstruct formal specifications from legacy code. The latter include code slicing, a “shortcut” which trims down the complexity of handling the formal semantics of all program… CONTINUE READING

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…