Premium
A System for Translating Executable VDM Specifications into Lazy ML
Author(s) -
BORBA PAULO,
MEIRA SILVIO
Publication year - 1997
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t
Subject(s) - executable , computer science , programming language , process (computing) , software engineering
This article describes the process of developing a system for translating VDM executable specifications into Lazy ML prototypes. The system was specified in VDM and a Lazy ML prototype implementation was derived from its specification. This article concentrates on discussing the lessons learned in each stage of the development process, evaluating the adequacy of the used methodology. © 1997 by John Wiley & Sons, Ltd.