Abstract
We propose a method for the elicitation and the expression of requirements. The requirements are then transformed in a systematic way into a formal specification. The approach — which distinguishes between requirements and specifications — gives methodological support for requirements elicitation and specification development. It avoids introducing new notations but builds on known techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Chen. The entity-relationship model-towards a unified view of data. ACM Transactions on Database Systems, 1(1), 1976.
A. Dardenne, A.v. Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20:3–50, 1993.
R. Darimont and A. v. Lamsweerde. Formal Refinement for Patterns for Goal-Driven Requirements Elaboration. In Proc FSE-4, ACM Symposium on the Foundation of Software Engineering, pages 179–190, 1996.
S. Easterbrook and B. Nuseibeh. Using ViewPoints for inconsistency management. Software Engineering Journal, pages 31–43, January 1996.
M.S. Feather, S. Fickas, and R.B. Helm. Composite System Design: the Good News and the Bad News. In Proc. 6th Knowledge-Based Software Engineering Conference, pages 16–25. IEEE Computer Society Press, 1991.
M.D. Fraser, K. Kumar, and V.K. Vaisnavi. Strategies for Incorporating Formal Specifications in Software Development. CACM, 37(10):74–86, Oct. 1994.
M. Heisel. Agendas-a concept to guide software development activites. In R. N. Horspool, editor, Proc. Systems Implementation 2000, pages 19–32. Chapman & Hall, 1998.
M. Heisel and J. Souquières. A heuristic approach to detect feature interactions in requirements. In K. Kimbler and W. Bouma, editors, Proc. 5th Feature Interaction Workshop, pages 165–171. IOS Press Amsterdam, 1998.
IEEE94. Software development. IEEE publications office, IEEE Standard 1498, Los Alamitos, CA, March 1994.
M. Jackson and P. Zave. Deriving specifications from requirements: an example. In Proceedings 17th Int. Conf. on Software Engineering, Seattle, USA, pages 15–24. ACM Press, 1995.
M. Jarke. Requirements tracing. Communications of the ACM, pages 32–36, December 1998.
N. Lévy and J. Souquières. A “Coming and Going” Approach to Scenario. In W. Schafer, J. Kramer, and A. Wolf, editors, Proc. 8th Int. Workshop on Software Specification and Design, pages 115–158. IEEE Computer Society Press, 1996.
N. Lévy and J. Souquières. Modelling Specification Construction by Successive Approximations. In M. Johnson, editor, 6th International AMAST conference, pages 351–364. Springer Verlag LNCS 1349, 1997.
D.L. Parnas. Using Mathematical Models in the Inspection of Critical Systems. In M. Hinchey and J. Bowen, editors, Applications of Formal Methods, pages 17–31. Prentice Hall, 1995.
S. Sadaoui and J. Souquières. Quelques approches de la réutilisation dans le modèle Proplane. In Conférence AFADL, Approches formelles dans l’assistance au développement de logiciels, pages 85–96, Toulouse, 1997. Onera-Cert. 318
J. M. Spivey. The Z Notation-A Reference Manual. Prentice Hall, 2nd edition, 1992.
P. Zave and M. Jackson. Four dark corners for requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1):1–30, January 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heisel, M., Souquières, J. (1999). A Method for Requirements Elicitation and Formal Specification. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds) Conceptual Modeling — ER ’99. ER 1999. Lecture Notes in Computer Science, vol 1728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47866-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-47866-3_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66686-8
Online ISBN: 978-3-540-47866-9
eBook Packages: Springer Book Archive