Tennent, R. D., 1944- Specifying software : a hands-on introduction / R. D. Tennent. - R. D. Tennent , 2002. - xii, 289p : ill. ; 24 cm. Includes bibliographical references. Open access. ISBN: Subjects--Topical Terms: Computer programming.Computer software--Specifications.