Proceedings of the 11th Overture Workshop

Authors

  • Ken Pierce School of Computing Science, Newcastle University
  • Stefan Hallerstede Department of Engineering, Aarhus University

Keywords:

software engineering and systems

Abstract

The 11th Overture Workshop was held in Aarhus, Denmark on Wed/Thu 28–29th Au- gust 2013. It was the 11th workshop in the current series focusing on the Vienna De- velopment Method (VDM) and particularly its community-based tools development project, Overture (http://www.overturetool.org/), and related projects such as COMPASS
(http://www.compass-research.eu/) and DESTECS (http://www.destecs.org). Invited talks were given by Yves Ledru and Joe Kiniry. The workshop attracted 25 participants representing 10 nationalities. The goal of the workshop was to provide a forum to present new ideas, to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. The Overture initiative held its first workshop at FM’05. Workshops were held subsequently at FM’06, FM’08 and FM’09, FM’11, FM’12 and in between.

Downloads

Published

2013-09-02

How to Cite

Pierce, K., & Hallerstede, S. (2013). Proceedings of the 11th Overture Workshop. Technical Report Electronics and Computer Engineering, 2(17). Retrieved from https://tidsskrift.dk/ece/article/view/21232

Issue

Vol. 2 No. 17 (2013): Proceedings of the 11th Overture Workshop

Section

Reports

License

Reproduction permitted provided the source is explicitly acknowledged.

The authors have all rights to the reports.