Lamsweerde, A. van <br/><br/>
Requirements engineering :  from system goals to UML models to software specifications / 
Axel van Lamsweerde. 
 - Chichester, England ;  Hoboken, NJ :  John Wiley,  c2009. 
 - xxix, 682 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [641]-667) and index. 
<br/><br/><label>ISBN: </label>0470012706 (pbk.) 9780470012703 (pbk.) 
<br/><br/><label>LCCN: </label>2008036187 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Systems engineering.
<br/><br/><label>LC Class. No.: </label>QA76.758  / .L28 2009 
<br/><br/><label>Dewey Class. No.: </label>005.1