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 条
  • [31] RSF - A FORMALISM FOR EXECUTABLE REQUIREMENT SPECIFICATIONS
    DEGL'INNOCENTI, M
    FERRARI, GL
    PACINI, G
    TURINI, F
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (11) : 1235 - 1246
  • [32] INTEGRATING BEHAVIOR AND TIMING IN EXECUTABLE SPECIFICATIONS
    KHORDOC, K
    DUFRESNE, M
    CERNY, E
    BABKINE, PA
    SILBURT, A
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 399 - 416
  • [33] EXECUTABLE SPECIFICATIONS BASED ON DYNAMIC ALGEBRAS
    KAPPEL, AM
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 229 - 240
  • [34] From visual specifications to executable code
    Tyugu, E
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 499 - 501
  • [35] Executable tile specifications for process calculi
    Bruni, R
    Meseguer, J
    Montanari, U
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1999, 1577 : 60 - 76
  • [36] Executable TMN-specifications in TIMS
    Eberhardt, R
    Sidou, D
    Festor, O
    Mazziotta, S
    Labetoulle, J
    NOMS '96 - 1996 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS. 1-4, 1996, : 266 - 269
  • [37] Executable Specifications for embedded distributed systems
    Sveda, M
    Vrba, R
    COMPUTER, 2001, 34 (01) : 138 - 140
  • [38] Translating programming languages into executable codes
    Department of Informatics, University Lucian Blaga of Sibiu, 5-7 Dr. Ioan Ratiu Street, Sibiu, Romania
    WSEAS Trans. Inf. Sci. Appl., 2007, 1 (145-152):
  • [39] Data and control flow analysis of VDM++ specifications
    Nazmeen, Mubina
    Rubab, Iram
    World Academy of Science, Engineering and Technology, 2010, 64 : 442 - 447
  • [40] Executable Behavioral Modeling of System and Software Architecture Specifications to Inform Resourcing Decisions
    Farah-Stapleton, Monica
    Auguston, Mikhail
    Giammarco, Kristin
    COMPLEX ADAPTIVE SYSTEMS, 2016, 95 : 48 - 57
12345