Generating software from specifications - Kastens, Uwe; Sloane, Anthony M.; Waite, William M. (Massachussetts, USA: Jones and Bartlett Publishers, 2007)
Includes bibliographical references and index.
Keywords: Computer software -- Development; Computer software -- Specifications