Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005 (2006)

Author(s): Fitzgerald JS, Larsen PG, Plat N

    Abstract: This report contains contributions to the first international workshop on Overture, a community project to develop open source interoperable tools for the formal modelling and analysis of computing systems, based on extensions to the Vienna Development Method (VDM and VDM++) modelling languages. The contributions address the industry-strength basic tools such as parsersas well as advanced capabilities including modelling real-time and embedded systems, and test generation.

      • Date: June 2006
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 81
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: software engineering, formal methods, model-oriented specification, Vienna Development Method

      Staff

      Professor John Fitzgerald
      Director of Research in Computing Science, Director of the Centre for Software Reliability