TY  - INPR
ID  - deploy316
UR  - http://deploy-eprints.ecs.soton.ac.uk/316/
A1  - Su, Wen
A1  - Abrial, Jean-Raymond
A1  - Huang, Runlei
A1  - Zhu, Huibiao
Y1  - 2011///
N2  - The main destination of this paper is the industrial milieu. We are concerned with the dif?culties 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. 

TI  - From Requirements to Development: Methodology and Example 
AV  - public
M2  - Durham, UK
T2  - ICFEM 2011
ER  -