DocumentCode :
286508
Title :
Prototyping VDM specifications with KIDS
Author :
Ledru, Y. ; Liégeois, M.H.
Author_Institution :
Unite de Inf., Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium
fYear :
1992
fDate :
20-23 Sep 1992
Firstpage :
50
Lastpage :
59
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
Keywords :
Vienna development method; formal specification; knowledge based systems; software prototyping; KIDS environment; KIDS specifications; REFINE programs; VDM mode; VDM specifications; program development mode; prototyped; transformations; Computer industry; Control system synthesis; Electronic mail; Formal specifications; Process control; Prototypes; Refining; Software prototyping; Specification languages; Trademarks;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Conference_Location :
Mclean, VA
ISSN :
1068-3062
Print_ISBN :
0-8186-2880-4
Type :
conf
DOI :
10.1109/KBSE.1992.252909
Filename :
252909
Link To Document :
بازگشت