Specification Activities

  • V. S. Alagar
  • K. Periyasamy
Part of the Graduate Texts in Computer Science book series (TCS)


The previous chapter provides a general discussion of the different stages of specification in the software development process. It was assumed that the discrete steps of the development process have been well-defined. That is, the activities, deliverables, reviews, and analysis procedures associated with each step have already been established. It was suggested that a specification of the products and processes can be added to each step of such a well-defined development process. This chapter addresses specific issues that should be considered, activities that should be initiated, and the roles that are to be assumed when specifications are formal due to the integration of formal methods into the existing software life cycle process for a given project.


Formal Method Specification Language Software Development Process Generate Test Case Bibliographic Note 
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]
    D. Craigen, S. Kromodimoeljo, I. Meisels, B. Pase, and M. Saaltnik, “EVES: An Overview,” VDM’91: Formal Software Development Methods; published as S. Prehn and W.S. Toetenel (Eds.), Lecture Notes in Computer Science, Vol. 551, Springer-Verlag, Noordwijkerhout, The Netherlands, October 1991, pp. 389–405.Google Scholar
  2. [2]
    S. Dasgupta, Design Theory and Computer Science, Cambridge Tracts in Computer Science, Cambridge University Press, Cambridge, England, 1991.CrossRefGoogle Scholar
  3. [3]
    J. Dick and A. Faivre, “Automating the Generation and Sequencing of Test Cases from Model-based Specifications,” FME93: Industrial-Strength Formal Methods, Formal Methods Europe; published as J.C.P. Woodcock and P.G. Larsen (Eds.), Lecture Notes in Computer Science, Vol. 670, Springer-Verlag, April 1993, pp. 268–284.Google Scholar
  4. [4]
    R.W. Floyd, “Assigning Meaning to Programs,” Mathematical Aspects of Computer Science, American Mathematical Society, Providence, RI, 1967.Google Scholar
  5. [5]
    Formal Methods Specification and Verification Guidebook for Software and Computer Systems: Volume I Planning and Technology Insertion, NASA Report NASA-GB-002–95, Release 1.0, July 1995.Google Scholar
  6. [6]
    M.J.C. Gordon and T.F. Melham (Eds.), Introduction to HOL, Cambridge University Press, Cambridge, England, 1993.zbMATHGoogle Scholar
  7. [7]
    J.V. Guttag, J.J. Horning, with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing, Larch: Languages and Tools for Formal Specifications, Springer-Verlag, New York, NY, 1993.zbMATHCrossRefGoogle Scholar
  8. [8]
    R.M. Hierons, “Testing from a Z Specification,” Software Testing, Verification and Reliability, Vol. 7, 1997, pp. 19–33.CrossRefGoogle Scholar
  9. [9]
    C.A.R. Hoare, “An Axiomatic Approach to Computer Programming,” Communications of the ACM, Vol. 12, No. 10, 1969, pp. 576–583.zbMATHCrossRefGoogle Scholar
  10. [10]
    C.B. Jones, Systematic Software Development Using VDM(second edition), Prentice-Hall International (UK), 1990.Google Scholar
  11. [11]
    M. Kapor, “A Software Design Manifesto,” in T. Winograd (Ed.), Bringing Design to Software, ACM Press, New York, NY, 1996, pp. 1–9.Google Scholar
  12. [12]
    B. Meyer, “On Formalisms in Specifications,” IEEE Software, Vol. 2, No. 1, January 1985, pp. 6–26.CrossRefGoogle Scholar
  13. [13]
    S. Owre, J.M. Rushby, and N. Shankar, “PVS: A Prototype Verification System,” in D. Kapur (Ed.), Proceedings of the Eleventh International Conference on Automated Deduction (CADE), Saratoga, NY, June 1992; published as Lecture Notes in Artificial Intelligence, Vol. 607, Springer-Verlag, New York, NY, pp. 748–752.Google Scholar
  14. [14]
    J. Rumbaugh, M. Blaha, W. Pramerlani, F. Eddy, and W. Lorenson, Object-oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, NJ, 1991.Google Scholar
  15. [15]
    J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, England, 1988.zbMATHGoogle Scholar
  16. [16]
    T. Winograd, Bringing Design to Software, ACM Press, New York, NY, 1996.Google Scholar

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • V. S. Alagar
    • 1
  • K. Periyasamy
    • 2
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada
  2. 2.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Personalised recommendations