Using ABC to prototype VDM specifications-Reference-Cited by-同舟云学术

Using ABC to prototype VDM specifications

Published:1994-01 Issue:1 Volume:29 Page:27-36
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Kans Aaron¹,Hayton Clive¹

Affiliation:

1. Software Engineering Research Center, Dept. of EEIE, South Bank University, 103 Borough Rd, London

Abstract

ABC is a high-level, easy-to-use imperative language, designed originally as a replacement for BASIC. Although intended primarily as a teaching language, it has many powerful attributes that make it suitable as a language for the rapid prototyping of formal specifications. This paper illustrates how ABC was used to prototype specifications written in the formal specification language of VDM.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/181577.181582

Reference8 articles.

1. 1 . Jones C B Systematic Software Development Using VDM (2nd edition) Prentice-Hall (1990). 1. Jones C B Systematic Software Development Using VDM (2nd edition) Prentice-Hall (1990).

2. 2 . Spivey J M The Z Notation Prentice-Hall (1990). 2. Spivey J M The Z Notation Prentice-Hall (1990).

3. 3 . Hekmatpour S Ince D Software Prototyping Formal Methods and VDM Addison-Wesley (1988). 3. Hekmatpour S Ince D Software Prototyping Formal Methods and VDM Addison-Wesley (1988).

4. A short introduction to the ABC language

5. Arrays and pointers considered harmful

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Software Specifications to Constraint Programming;Software Engineering and Formal Methods;2018

2. FROM RELATIONAL SPECIFICATIONS TO LOGIC PROGRAMS;LEIBNIZ INT PR INFOR;2010

3. VDMTools;ACM SIGPLAN Notices;2008-02

4. Executing formal specifications need not be harmful;Software Engineering Journal;1996

5. A structured specification of an active database system;Information and Software Technology;1995-01