creators_name: Su, Wen
creators_name: Abrial, Jean-Raymond
creators_name: Huang, Runlei
creators_name: Zhu, Huibiao
type: conference_item
datestamp: 2011-07-21 09:47:15
lastmod: 2011-07-21 09:57:08
metadata_visibility: show
title: From Requirements to Development: Methodology and Example 
ispublished: inpress
subjects: deploy_method_reqevo
full_text_status: public
pres_type: paper
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 
illustrated by means of an industrial project. 

date: 2011
event_title: ICFEM 2011
event_location: Durham, UK
event_type: conference
refereed: TRUE
citation:   Su, Wen and Abrial, Jean-Raymond and Huang, Runlei and Zhu, Huibiao  (2011) From Requirements to Development: Methodology and Example.  In: ICFEM 2011, Durham, UK.    (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/316/1/Modes_version_55.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/316/4/modes.zip