𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The role for executable specifications in system maintenance

✍ Scribed by Marvin V. Zelkowitz; Sergio Cardenas

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
793 KB
Volume
57-58
Category
Article
ISSN
0020-0255

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A System for Translating Executable VDM
A System for Translating Executable VDM Specifications into Lazy ML
✍ PAULO BORBA; SILVIO MEIRA πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 133 KB

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 e

The role of prototyping in executive dec
The role of prototyping in executive decision systems
✍ Tor Guimaraes; Jayant V. Saraph πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 871 KB

Prototyping has been widely acclaimed as an effective approach to requirements definition and systems development. It is often claimed to be particularly useful in the development of systems to support executive decision making, which by definition deal with unstructured business problems. Data from