Using ABC to prototype VDM specifications
Article
Kans, A. 1994. Using ABC to prototype VDM specifications. ACM SIGPLAN Notices. 29 (1), pp. 27-36. https://doi.org/10.1145/181577.181582
Authors | Kans, A. |
---|---|
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. |
Keywords | VDM; ABC; Formal Methods; Prototyping; Software Engineering |
Journal | ACM SIGPLAN Notices |
Journal citation | 29 (1), pp. 27-36 |
ISSN | 0362-1340 |
Year | 1994 |
Publisher | Association for Computing Machinery (ACM) |
Publisher's version | License File Access Level Anyone |
Digital Object Identifier (DOI) | https://doi.org/10.1145/181577.181582 |
Web address (URL) | https://dl.acm.org/doi/abs/10.1145/181577.181582 |
Publication dates | |
01 Jan 1994 | |
Publication process dates | |
Deposited | 20 Jun 2023 |
Copyright holder | © 1994, The Author(s) |
Permalink -
https://repository.uel.ac.uk/item/8w2y4
Download files
35
total views33
total downloads3
views this month0
downloads this month