From requirements to development: methodology and example

Authors:
Wen Su;Jean-Raymond Abrial;Runlei Huang;Huibiao Zhu
Affiliations:
Software Engineering Institute, East China Normal University;Marseille, France;Alcatel-Lucent Shanghai Bell;Software Engineering Institute, East China Normal University
Venue:
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Year:
2011

Citing 4
Cited 1

Distributed cooperation with action systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Stepwise refinement of communicating systems

Science of Computer Programming
ProB: an automated analysis toolset for the B method

International Journal on Software Tools for Technology Transfer (STTT)
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Pliant modalities in hybrid event-B

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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 [1] and is illustrated by means of an industrial project.