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 条
  • [1] TRANSLATING VDM SPECIFICATIONS INTO ABC PROGRAMS
    KANS, A
    HAYTON, C
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (12) : 699 - 706
  • [2] Translating specifications in VDM-SL to PVS
    Agerholm, S.
    Lecture Notes in Computer Science, 1996, 1125
  • [3] Lazy Combinators for Executable Specifications of General Attribute Grammars
    Hafiz, Rahmatullah
    Frost, Richard A.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 167 - 182
  • [4] AUTOMATIC TRANSLATION OF VDM SPECIFICATIONS INTO STANDARD ML PROGRAMS
    ONEILL, G
    COMPUTER JOURNAL, 1992, 35 (06): : 623 - 624
  • [5] THE ROLE FOR EXECUTABLE SPECIFICATIONS IN SYSTEM MAINTENANCE
    ZELKOWITZ, MV
    CARDENAS, S
    INFORMATION SCIENCES, 1991, 57-8 : 347 - 359
  • [6] SPECIFICATIONS ARE (PREFERABLY) EXECUTABLE
    FUCHS, NE
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (05): : 323 - 334
  • [7] Executable requirements and specifications
    Anderson, AH
    Shaw, GA
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 15 (1-2): : 49 - 61
  • [8] Reasoning with executable specifications
    Bertot, Y
    Fraer, R
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 531 - 545
  • [9] Executable Calculational Specifications
    Chaves, Francisco
    Rocha, Camilo
    2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC), 2015, : 1 - 8
  • [10] THE VISUAL PRESENTATION OF VDM SPECIFICATIONS
    DICK, J
    LOUBERSAC, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 670 - 671
12345