Prototyping VDM specifications with KIDS

DOI 10.1109/kbse.1992.252909 dblp

Abstract

The authors show how VDM specifications can be prototyped as REFINE programs. The translation process takes advantage of the facilities of the KIDS environment (D.R. Smith, 1990). A new VDM mode has been added to the environment to support transformations of the specifications. The VDM specifications are then automatically translated into proper KIDS specifications. These are finally transformed into REFINE programs in the program development mode of KIDS. The development of the prototype follows a very systematic process, so that it does not require much invention from the developer.>

BibTeX

@inproceedings{Ledru-Liegeois:ASE92,
  author    = {Yves Ledru and
               Marie{-}H{\'{e}}l{\`{e}}ne Li{\'{e}}geois},
  title     = {Prototyping {VDM} specifications with {KIDS}},
  booktitle = {ASE},
  pages     = {50--59},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
}

Prototyping VDM specifications with KIDS

Abstract

Related papers