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
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
Hi-index | 0.00 |
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.