Industrial deployment of system engineering methods providing high dependability and productivity


From Requirements to Development: Methodology and Example

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)

PDF (Paper) - Accepted Version
[img]ZIP Archive (Rodin archive)


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.

Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Requirements and evolution
ID Code:316
Deposited By:Michael Butler
Deposited On:21 Jul 2011 10:47
Last Modified:21 Jul 2011 10:57

Repository Staff Only: item control page

Deploy-Project - All right reserved