A system for translating executable VDM specifications into lazy ML

被引：0
|
作者：
Borba, P
Meira, S
机构：
[1] Departamento de Informática, Universidade Federal de Pernambuco, 50732-970, Recife, PE
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1997年 / 27卷 / 03期
关键词：
formal methods; rapid prototyping; functional languages; specification languages; compilers;
D O I：
10.1002/(SICI)1097-024X(199703)27:3<271::AID-SPE84>3.0.CO;2-T
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 1997 by John Wiley & Sons, Ltd.
引用
收藏
页码：271 / 289
页数：19
相关论文
共 50 条
  • [41] Ghosts for Lists: From Axiomatic to Executable Specifications
    Loulergue, Frederic
    Blanchard, Allan
    Kosmatov, Nikolai
    TESTS AND PROOFS, TAP 2018, 2018, 10889 : 177 - 184
  • [42] Validating Avionics Conceptual Architectures with Executable Specifications
    Fischer, Nils
    Salzwedel, Horst
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, 2011, : 209 - 214
  • [43] EXECUTABLE SPECIFICATIONS FOR DISTRIBUTED INFORMATION-SYSTEMS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 139 - 156
  • [44] UMIST OBJ - A LANGUAGE FOR EXECUTABLE PROGRAM SPECIFICATIONS
    GALLIMORE, RM
    COLEMAN, D
    STAVRIDOU, V
    COMPUTER JOURNAL, 1989, 32 (05): : 413 - 421
  • [45] EXECUTABLE HIGHER-ORDER ALGEBRAIC SPECIFICATIONS
    JOUANNAUD, JP
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 16 - 25
  • [46] Executable specifications of resource-bounded agents
    Fisher, Michael
    Ghidini, Chiara
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2010, 21 (03) : 368 - 396
  • [47] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
  • [48] Hierarchical Accumulative Validation of Executable Control Specifications
    Farnsworth, Jared
    Ueda, Koichi
    Mizuno, Hideaki
    Yoshida, Michio
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2013, 6 (01): : 186 - 193
  • [49] Visualisation of executable formal specifications for user validation
    Özcan, MB
    Parry, PW
    Morrey, IC
    Siddiqi, JI
    SERVICES AND VISUALIZATION: TOWARDS USER-FRIENDLY DESIGN, 1998, 1385 : 142 - 157
  • [50] EXECUTABLE LOGIC SPECIFICATIONS FOR PROTOCOL SERVICE INTERFACES
    SIDHU, DP
    CRALL, CS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (01) : 98 - 121
12345