@inproceedings{b054de2fb2334534a7111dc5ecbdb5ad,
title = "From requirements to development: Methodology and example",
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.",
author = "Wen Su and Abrial, \{Jean Raymond\} and Runlei Huang and Huibiao Zhu",
year = "2011",
doi = "10.1007/978-3-642-24559-6\_30",
language = "英语",
isbn = "9783642245589",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "437--455",
booktitle = "Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Proceedings",
address = "德国",
note = "13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Conference date: 26-10-2011 Through 28-10-2011",
}