INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ++  Approach

This paper describes methods integration techniques and tools developed for the VDM ++ formal specification language. Case studies which have been carried out for the language using tool support for the integrated development method are also described. The original features of the method are its use of highly abstract initial specifications to avoid the design bias of object-oriented structuring, and the formal treatment of structural transformations.

Content

Author and article information

Conference

Publication date: March 1996

Publication date (Print): March 1996

Pages: 1-21

Affiliations

[0001]Dept. of Computing, Imperial College, 180 Queens Gate,

London, SW7 2BZ, UK

Article

DOI: 10.14236/ewic/MI1996.10

SO-VID: a49bab26-e86c-4750-8395-e305ed4e0fa0

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the Methods Integration Workshop

Conference acronym: MI

Conference number:

Conference location: Leeds, UK

Conference date: 25-26 March 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Methods Integration Workshop

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MI1996.10

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ⁺⁺ Approach

Abstract