2011 | OriginalPaper | Buchkapitel
From Requirements to Development: Methodology and Example
verfasst von : Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
Erschienen in: Formal Methods and Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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
.