Kastens, Uwe. <br/><br/>
Generating software from specifications / 
Uwe Kastens, Anthony M. Sloane, William M. Waite. 
 - New Delhi ;  mumbai :  Jones and Bartlett Publishers; Viva Books,  2008 
 - xi, 413 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>813090974X 9788130909745 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Computer software--Specifications.
<br/><br/><label>Dewey Class. No.: </label>005.1  / KAG 2008