creators_name: Manuel , Mazzara editors_name: Michael, Jastram editors_name: Linas, Laibinis editors_name: Felix, Loesch editors_name: Manuel, Mazzara editors_id: michael@jastram.de editors_id: Linas.Laibinis@abo.fi editors_id: Felix.Loesch@de.bosch.com editors_id: manuel.mazzara@newcastle.ac.uk type: book datestamp: 2010-01-29 22:37:57 lastmod: 2011-06-28 10:13:15 metadata_visibility: show title: Proceedings of the First Deploy Technical Workshop ispublished: pub subjects: Event-Bsemantics subjects: deploy_industrial subjects: deploy_method subjects: deploy_tooldev full_text_status: public 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 publisher: Newcastle University refereed: TRUE citation: Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University. document_url: http://deploy-eprints.ecs.soton.ac.uk/198/1/DTW_2009.pdf