Abstract
The process model introduced in Chap. 2 integrates the practice of formal method into all phases of life-cycle activities. Given the current maturity of formal methods, it is reasonable to assume that this process model is both practical and justified. Software development activity in this process model includes the formalization of software requirements specification, design specification, program specification, domain and environment specification, and analysis at different stages. The goal of this chapter is to explore the quality characteristics of these specifications that depend on the formal methods and the processes used in creating them.
Keywords
- Global Position System
- Formal Method
- Specification Language
- Conformance Attribute
- Specification Document
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alagar VS, Kourkopoulos D (1994) (In)completeness in specifications. Inf Softw Technol 36(6):331–342
Balzer R, Goldman N (1981) Principles of good software specification and their implications for specification languages. In: National computer conference, pp 393–400
Bauer FL (1976) Programming as an evolutionary process. In: Proceedings of the second international conference on software engineering, San Francisco, CA, pp 223–234
Bauer FL, Bauer M, Partsch P, Pepper P (1981) Report on a wide-spectrum language for program specification and development. Technical Report TUM-18104, Technical University, Munich, May 1981
Craigen D (1990) The Verdi reference manual. Technical Report TR-90-S429-09, Odyssey Research Associates, February 1990
De Vito BL, Roberts L (1996) Using formal methods to assist in the requirements analysis of the space shuttle GPS change request. NASA Report 4752, Prepared for Langley Research Center
Hausen HL (2007) Quality specification, testing and certification of bespoken, open source and commercial off-the-shelf systems. In: IFIP international federation for information processing. Springer, Boston
ISO (1991) ISO/IEC:9126 information technology-software product evaluation-quality characteristics and guidelines for their use. International Organization for Standardization (ISO)
IEEE (1998) IEEE recommended practice for software requirements specifications. IEEE Std 830-1998 (revision of IEEE Std 830-1993)
Kahn BK, Strong DM, Wang RY (2002) Information quality benchmarks: product and service performance. Commun ACM 45(4):184–192
Klausner A, Konchan TE (1980) Rapid prototyping and requirements specification using PDS. In: Gehani N, McGettrick AD (eds) Software specification techniques. Addison Wesley, Reading
Wing J (1995) Hints to specifiers. Manuscript CMU-Cs-95-118R
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Alagar, V.S., Periyasamy, K. (2011). Specification Qualities. In: Specification of Software Systems. Texts in Computer Science. Springer, London. https://doi.org/10.1007/978-0-85729-277-3_3
Download citation
DOI: https://doi.org/10.1007/978-0-85729-277-3_3
Publisher Name: Springer, London
Print ISBN: 978-0-85729-276-6
Online ISBN: 978-0-85729-277-3
eBook Packages: Computer ScienceComputer Science (R0)