Skip to main content
SpringerLink
Log in

Understanding the role of formal specification techniques in requirements engineering

  • Conference paper
  • First Online:
Software Engineering Education (CSEE 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 895))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Cohen. The CBM company: An exercise in the formal specification of a dataflow analysis. Technical report, City University, Class Notes 1991.

    Google Scholar 

  2. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.

    Google Scholar 

  3. T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. R. B. France. Semantically Extended Data Flow Diagrams: A formal specification tool. IEEE TSE, 18(4), 1992.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages. IEEE Software, 2(5), 1985.

    Google Scholar 

  11. D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987.

    Google Scholar 

  12. C. Jones. Systematic software development using VDM. Prentice-Hall, 1986.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.

    Google Scholar 

  15. L. Semmens and P. Allen. Using Yourdon and Z: An approach to formal specification. In Z User Workshop. Springer-Verlag, 1991.

    Google Scholar 

  16. L. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6), 1992.

    Google Scholar 

  17. S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992.

    Google Scholar 

  18. J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989.

    Google Scholar 

  19. J. M. Wing and A. M. Zaremski. Two ways to integrate formal specifications in practice. In Proceedings of Formal Methods '91, 1991.

    Google Scholar 

  20. E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Engineering, Florida Atlantic University, 33431-0991, Boca Raton, FL

    Robert B. France & Maria M. Larrondo-Petrie

Authors
  1. Robert B. France
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maria M. Larrondo-Petrie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rosalind L. Ibrahim

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation