Using ABC to prototype VDM specifications

Authors:
Aaron Kans;Clive Hayton
Affiliations:
Software Engineering Research Center, Dept. of EEIE, South Bank University, 103 Borough Rd, London;Software Engineering Research Center, Dept. of EEIE, South Bank University, 103 Borough Rd, London
Venue:
ACM SIGPLAN Notices
Year:
1994

Citing 7
Cited 4

Systematic software development using VDM

Systematic software development using VDM
The Z notation: a reference manual

The Z notation: a reference manual
Software design and prototyping using me too

Software design and prototyping using me too
ABC programmer's handbook

ABC programmer's handbook
A short introduction to the ABC language

ACM SIGPLAN Notices
Arrays and pointers considered harmful

ACM SIGPLAN Notices
Software Prototyping, Formal Methods, and VDM

Software Prototyping, Formal Methods, and VDM

The IFAD VDM-SL toolbox: a practical approach to formal specifications

ACM SIGPLAN Notices
Using KIDS as a tool support for VDM

Proceedings of the 18th international conference on Software engineering
Specification and Animation of a Bank Transfer using KIDS/VDM

Automated Software Engineering
VDMTools: advances in support for formal modeling in VDM

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

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.