TY  - BOOK
AU  - Kastens, Uwe
AU  - Sloane, Anthony M
AU  - Waite, W. M
TI  - Generating software from specifications
SN  - 9788130909745
SN  - 200600929
U1  - 005 KAS 
PY  - 2007///
CY  - Boston, MA
PB  - Jones and Bartlett Publishers
KW  - Computer software - Development
KW  - Computer software - Specifications
N1  - Includes bibliographical references (p. 365-368) and index
ER  -