PakCat catalogue record Generating software from specifications By Kastens, Uwe Bibliographic details ISBN9780763741242 PublisherJones and Bartlett Publishers Publication placeBoston Publication year2007 LanguageEnglish Material typeBook Physical descriptionx, 413 p. Additional authorsAnthony M. Sloane William M. Waite