Bjorner, D. <br/><br/>
Software Engineering 3:  Domains requirements and software design / 
By D. Bjorner. 
 - 1st ed. 
 - New Delhi :  Springer Pvt Ltd.,  2007. 
 - xxx,766 p.;  HB  24.5 cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Conceptual framework <br/>Descriptions<br/>Jackson description principles
<br/><br/><label>Dewey Class. No.: </label>005.368  / BJOD