Industrial deployment of system engineering methods providing high dependability and productivity


Proceedings of the First Deploy Technical Workshop

Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University.

PDF (Proceedings of the First Deploy Technical Workshop) - Published Version


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

Item Type:Book
Industrial Deployment
Tool developments
ID Code:198
Deposited By:Dr. Manuel Mazzara
Deposited On:29 Jan 2010 22:37
Last Modified:28 Jun 2011 11:13

Repository Staff Only: item control page

Deploy-Project - All right reserved