The open archive for STFC research publications

ePubs will be undergoing scheduled maintenance on 19/06/2024 between 10:00-12:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28957
Record Status Checked
Record Id 28957
Title vdmML: using XML to represent VDM on the Web. Some initial thoughts
Abstract In this paper we describe some initial investigations into the use XML to support the use of VDM. This presents a snapshot of ongoing work-in-progress, and thoughts to the future development of such work, including transformation into different formats, proof obligation generation, and integration with other formal and semi-formal methods.
Organisation CCLRC , BITD
Keywords Formal Methods , World-Wide Web , XML , VDM
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Presentation Presented at 2nd Workshop on VDM, University of York, York, UK, Sat. 2nd September, 2000. vdmML Using XML t…t VDM on the Web.pdf 2000