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
52
total views42
total downloads13
views this month5
downloads this month