Abstract
The need for more rigorous and systematic approaches to requirements engineering has led to considerable research on structured specification methods (SSMs) and formal specification techniques (FSTs). SSMs are based on descriptive tools that utilize a small set of simple, graphical, modeling concepts, while FSTs are based on mathematical modeling tools. The ease of use of SSMs is tempered by its lack of support for rigorous semantic analysis. On the other hand, FSTs provide considerable support for semantic analysis but are often difficult to read and understand. This suggests that SSMs and FSTs can play complementary roles in software specification activities. In this paper we describe our experiences with a class project that applied a requirements engineering process based on an integrated SSM and FST.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
B. Cohen. The CBM company: An exercise in the formal specification of a dataflow analysis. Technical report, City University, Class Notes 1991.
D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.
T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978.
R. France, T. Horton, M. Larrondo-Petrie, and S. Reeves. Process support for rigorous structured analysis. In Software Engineering Research Forum '93. SERF'93, 1993.
R. B. France. Semantically Extended Data Flow Diagrams: A formal specification tool. IEEE TSE, 18(4), 1992.
R. B. France and M. M. Larrondo-Petrie. A framework for integrating formal and structured analysis techniques. Technical report, Florida Atlantic University, TR-CSE-93-24 1993.
R. B. France and M. M. Larrondo-Petrie. From structured analysis to formal specifications: State of the theory. In Proceedings of the 1994 ACM Computer Science Conference. ACM, 1994.
R. B. France and J. Wu. Towards systematic formalization of informal requirements specifications: A case study on the vending machine problem. In to appear in the ISCA'95 proceedings, (also a FAU technical report), 1995.
M. D. Fraser, K. Kumar, and V. K. Vaishnavi. Informal and formal requirements specification languages: Bridging the gap. IEEE Transaction on Software Engineering, 17(5), 1991.
J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages. IEEE Software, 2(5), 1985.
D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987.
C. Jones. Systematic software development using VDM. Prentice-Hall, 1986.
P. G. Larsen, J. van Katwijk, N. Plat, K. Pronk, and H. Toetenel. SVDM: An integrated combination of SA and VDM. In Methods Integration Conference. Springer-Verlag, 1991.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
L. Semmens and P. Allen. Using Yourdon and Z: An approach to formal specification. In Z User Workshop. Springer-Verlag, 1991.
L. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6), 1992.
S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992.
J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989.
J. M. Wing and A. M. Zaremski. Two ways to integrate formal specifications in practice. In Proceedings of Formal Methods '91, 1991.
E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
France, R.B., Larrondo-Petrie, M.M. (1995). Understanding the role of formal specification techniques in requirements engineering. In: Ibrahim, R.L. (eds) Software Engineering Education. CSEE 1995. Lecture Notes in Computer Science, vol 895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58951-1_105
Download citation
DOI: https://doi.org/10.1007/3-540-58951-1_105
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58951-8
Online ISBN: 978-3-540-49167-5
eBook Packages: Springer Book Archive