kirancodes.me
To Proof Maintenance & Beyond!
ASE 1992

Transformation of a semi-formal specification to VDM

J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar

DOI 10.1109/kbse.1992.252910dblp

Abstract

A technique is proposed for semiformal specification. The authors distinguish two stages of formalization: data modeling and specification of operations. For each stage, the system provides a distinct tool. It consists of a graphical component called the MER diagram and a textual component called the KFD. Through an example, the authors present a knowledge assisted transformation process that can generate a formal specification from the given semiformal specification. The formal specification language chosen is VDM. The MER diagrams and KFDs form an input to the transformation described.>

BibTeX
@inproceedings{DAlmeida-al:ASE92,
  author    = {J. D'Almeida and
               Ramesh Achuthan and
               Thiruvengadam Radhakrishnan and
               Vangalur S. Alagar},
  title     = {Transformation of a semi-formal specification to {VDM}},
  booktitle = {ASE},
  pages     = {40--49},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
}

Related papers