--- 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\r\ntopic, 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:\r\n\r\n1. Event-B and Extensions\r\n2. Code Generation\r\n3. Event-B Metrics and Tools\r\n4. Model Checking\r\n5. Business Information Systems\r\n6. Short Papers" accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: [] creators_name: - family: 'Manuel ' given: Mazzara honourific: '' lineage: '' data_type: ~ date: ~ date_type: ~ datestamp: 2010-01-29 22:37:57 department: ~ dir: disk0/00/00/01/98 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: - michael@jastram.de - Linas.Laibinis@abo.fi - Felix.Loesch@de.bosch.com - manuel.mazzara@newcastle.ac.uk editors_name: - family: Michael given: Jastram honourific: '' lineage: '' - family: Linas given: Laibinis honourific: '' lineage: '' - family: Felix given: Loesch honourific: '' lineage: '' - family: Manuel given: Mazzara honourific: '' lineage: '' eprint_status: archive eprintid: 198 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/198/1/DTW_2009.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2011-06-28 10:13:15 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: ~ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ~ publisher: Newcastle University refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 42 series: ~ skill_areas: [] source: ~ status_changed: 2011-06-28 10:13:15 subjects: - Event-Bsemantics - deploy_industrial - deploy_method - deploy_tooldev succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Proceedings of the First Deploy Technical Workshop type: book userid: 217 volume: ~