---
abstract: "The main destination of this paper is the industrial milieu. We are concerned with the difficulties encountered by industrial developers who are willing to apply \"new\" approaches to software engineering (since they always face the same problem for years: how to develop safe software) but are in fact disappointed by what is proposed to them. We try to characterize what the relevant constraints of industrial software projects are and then propose a simple methodology able to face the real problem. It is based on the usage of Event-B and is \r\nillustrated by means of an industrial project. \r\n"
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Su
    given: Wen
    honourific: ''
    lineage: ''
  - family: Abrial
    given: Jean-Raymond
    honourific: ''
    lineage: ''
  - family: Huang
    given: Runlei
    honourific: ''
    lineage: ''
  - family: Zhu
    given: Huibiao
    honourific: ''
    lineage: ''
data_type: ~
date: 2011
date_type: ~
datestamp: 2011-07-21 09:47:15
department: ~
dir: disk0/00/00/03/16
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 316
event_dates: ~
event_location: 'Durham, UK'
event_title: ICFEM 2011
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/316/1/Modes_version_55.pdf|/style/images/fileicons/application_zip.png;/316/4/modes.zip
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: inpress
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-07-21 09:57:08
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: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 34
series: ~
skill_areas: []
source: ~
status_changed: 2011-07-21 09:47:15
subjects:
  - deploy_method_reqevo
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: 'From Requirements to Development: Methodology and Example '
type: conference_item
userid: 1
volume: ~