✦ LIBER ✦

A System for Translating Executable VDM Specifications into Lazy ML

✍ Scribed by PAULO BORBA; SILVIO MEIRA

Publisher: John Wiley and Sons
Year: 1997
Tongue: English
Weight: 133 KB
Volume: 27
Category: Article
ISSN: 0038-0644
DOI: 10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t

No coin nor oath required. For personal study only.

✦ Synopsis

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.