TY  - BOOK
AU  - Kastens, Uwe
AU  - Sloane, Anthony M.
AU  - Waite, William M.
TI  - Generating software from specifications
SN  - 9780763741242
U1  - Res 005.1 Ka155 2007 
PY  - 2007///.
CY  - Massachussetts, USA
PB  - Jones and Bartlett Publishers
KW  - Computer software -- Development.
KW  - Computer software -- Specifications
N1  - Includes bibliographical references and index
ER  -