Kastens, Uwe <br/><br/>Generating software from specifications/ Uwe Kastens, Anthony M. Sloane and William M. Waite.  -- Massachussetts, USA:  Jones and Bartlett Publishers,  2007.  <br/>x, 413 p.:  ill.;  24 cm. <br/><br/> Includes bibliographical references and index. <br/><br/><label>ISBN: </label>9780763741242 <br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software -- Development. <br/>Computer software -- Specifications.<br/><br/><label>Dewey Class. No.: </label>Res 005.1 Ka155 2007