Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
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
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.
S. Dasgupta, Design Theory and Computer Science, Cambridge Tracts in Computer Science, Cambridge University Press, Cambridge, England, 1991.
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.
R.W. Floyd, “Assigning Meaning to Programs,” Mathematical Aspects of Computer Science, American Mathematical Society, Providence, RI, 1967.
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.
M.J.C. Gordon and T.F. Melham (Eds.), Introduction to HOL, Cambridge University Press, Cambridge, England, 1993.
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.
R.M. Hierons, “Testing from a Z Specification,” Software Testing, Verification and Reliability, Vol. 7, 1997, pp. 19–33.
C.A.R. Hoare, “An Axiomatic Approach to Computer Programming,” Communications of the ACM, Vol. 12, No. 10, 1969, pp. 576–583.
C.B. Jones, Systematic Software Development Using VDM(second edition), Prentice-Hall International (UK), 1990.
M. Kapor, “A Software Design Manifesto,” in T. Winograd (Ed.), Bringing Design to Software, ACM Press, New York, NY, 1996, pp. 1–9.
B. Meyer, “On Formalisms in Specifications,” IEEE Software, Vol. 2, No. 1, January 1985, pp. 6–26.
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.
J. Rumbaugh, M. Blaha, W. Pramerlani, F. Eddy, and W. Lorenson, Object-oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, NJ, 1991.
J.M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, England, 1988.
T. Winograd, Bringing Design to Software, ACM Press, New York, NY, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Alagar, V.S., Periyasamy, K. (1998). Specification Activities. In: Specification of Software Systems. Graduate Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2920-7_2
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2920-7_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-2922-1
Online ISBN: 978-1-4757-2920-7
eBook Packages: Springer Book Archive