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 条
  • [21] TACTICAL TOOLS FOR DISTRIBUTING VDM SPECIFICATIONS
    CATTEL, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 309 - 323
  • [22] Towards Executable Specifications for Microservices
    Quenum, Jose G.
    Aknine, Samir
    2018 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (IEEE SCC 2018), 2018, : 41 - 48
  • [23] FUNCTIONAL PROGRAMS AS EXECUTABLE SPECIFICATIONS
    TURNER, DA
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1984, 312 (1522): : 363 - 388
  • [24] Executable specifications of P systems
    Andrei, O
    Ciobanu, G
    Lucanu, D
    MEMBRANE COMPUTING, 2004, 3365 : 126 - 145
  • [25] Falling Back on Executable Specifications
    Samimi, Hesam
    Aung, Ei Darli
    Millstein, Todd
    ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 552 - 576
  • [26] COMPILER PROTOTYPING WITH VDM AND STANDARD ML
    ARTHAN, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 101 - 115
  • [27] SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS
    KILPATRICK, P
    MCPARLAND, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 459 - 475
  • [28] AN EXECUTABLE SUBSET OF VDM-SL IN AN SA/RT FRAMEWORK
    ELMSTROM, R
    LASSEN, PB
    ANDERSEN, M
    REAL-TIME SYSTEMS, 1993, 5 (2-3) : 197 - 211
  • [29] On the choice of models of computation for writing executable specifications of system level designs
    Jeukens, I
    Strum, M
    13TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2000, : 159 - 164
  • [30] Defect detection for executable specifications - An experiment
    Houdek, F
    Schwinn, T
    Ernst, D
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (06) : 637 - 655
12345