Referenced Items are not available for this document.
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
Published in:
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Date of Conference: 20-23 Sep 1992
- Page(s):
- 50 - 59
- Meeting Date :
- 20 Sep 1992-23 Sep 1992
- ISSN :
- 1068-3062
- Print ISBN:
- 0-8186-2880-4
- INSPEC Accession Number:
- 4534018
- Conference Location :
- Mclean, VA
- Digital Object Identifier :
- 10.1109/KBSE.1992.252909
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
