Lookup NU author(s): Professor John Fitzgerald
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2017.
For re-use rights please refer to the publisher's terms and conditions.
The 15th in the “Overture" series”of workshops on the Vienna Development Method (VDM), its associated tools and applications, was held at Newcastle University, UK, on 15th September, 2017. The workshop provided a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for describing distributed, real-time and cyber-physical systems. The workshop reflected the breadth and depth of work supporting and applying VDM.Contributions covered topics as diverse as architectural frameworks of autonomous Cyber-Physical Systems, tool building techniques such as interpreter design, automated code generation, testing and debugging and case studies of formal modelling and tool migration.
Author(s): Fitzgerald JS, Tran-Jørgensen PWV, Oda T, Editors
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Print publication date: 01/10/2017
Acceptance date: 01/01/1900
Report Number: 1513
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne