Understanding the role of formal specification techniques in requirements engineering

  • Robert B. France
  • Maria M. Larrondo-Petrie
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 895)


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.


Requirement Engineering System User Requirement Engineer Exploratory Phase Elaboration Phase 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978.Google Scholar
  4. 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. 5.
    R. B. France. Semantically Extended Data Flow Diagrams: A formal specification tool. IEEE TSE, 18(4), 1992.Google Scholar
  6. 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. 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. 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. 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. 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. 11.
    D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987.Google Scholar
  12. 12.
    C. Jones. Systematic software development using VDM. Prentice-Hall, 1986.Google Scholar
  13. 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. 14.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.Google Scholar
  15. 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. 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. 17.
    S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992.Google Scholar
  18. 18.
    J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989.Google Scholar
  19. 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. 20.
    E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Robert B. France
    • 1
  • Maria M. Larrondo-Petrie
    • 1
  1. 1.Department of Computer Science & EngineeringFlorida Atlantic UniversityBoca Raton

Personalised recommendations