Proceedings of the First Deploy Technical Workshop

Abstract

The second DEPLOY annual plenary meeting was held from 21st to 23rd of October in Aix-en-Provence, France. The main difference with respect to the first meeting has been a significant amount of time dedicated to technical presentations of papers. We invited all the academic and industrial partners to submit papers about the work they were carrying on inside the DEPLOY project. The accepted submissions have been then organized in five different sessions, each regarding a DEPLOY relevant topic, plus one for short papers. The structure of this document reflects exactly the structure of the workshop, each of the parts represents a workshop session: 1. Event-B and Extensions 2. Code Generation 3. Event-B Metrics and Tools 4. Model Checking 5. Business Information Systems 6. Short Papers