Abstract
In order that a specification serve as a trustable contract between the developer and the user, and a firm foundation for implementation, it must be ensured that the specification contains no faults or as few faults as possible. Many studies have shown that detecting faults in specifications help substantially reduce the cost and risk of software projects [10]. In this chapter, we introduce a technique known as rigorous review for verifying and validating specifications.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Liu, S. (2004). Rigorous Review. In: Formal Engineering for Industrial Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07287-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-662-07287-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05827-1
Online ISBN: 978-3-662-07287-5
eBook Packages: Springer Book Archive