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
AuthorsKans, 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.

KeywordsVDM; ABC; Formal Methods; Prototyping; Software Engineering
JournalACM SIGPLAN Notices
Journal citation29 (1), pp. 27-36
ISSN0362-1340
Year1994
PublisherAssociation 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
Print01 Jan 1994
Publication process dates
Deposited20 Jun 2023
Copyright holder© 1994, The Author(s)
Permalink -

https://repository.uel.ac.uk/item/8w2y4

Download files


Publisher's version
ACM 1994.pdf
License: All rights reserved
File access level: Anyone

  • 35
    total views
  • 33
    total downloads
  • 3
    views this month
  • 0
    downloads this month

Export as

Related outputs

Programming in Two Semesters: Using Python and Java
Charatan, Q. and Kans, A. 2022. Programming in Two Semesters: Using Python and Java. Springer, Cham.
CODI–A Web Application to Facilitate Live, Remote Programming Lab Sessions
Wathen, J., Kans, A. and Malik, G. 2022. CODI–A Web Application to Facilitate Live, Remote Programming Lab Sessions. 2022 IEEE Global Engineering Education Conference (EDUCON). Tunisia 28 - 31 Mar 2022 IEEE. https://doi.org/10.1109/EDUCON52537.2022.9766755