9781498752220 | CRC Pr I Llc, October 15, 2016, cover price $79.95

9780470409084 | Blackwell Pub, October 15, 2009, cover price $116.00 | About this edition: A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics developmentWith contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:The role of semanticsConsiderations and rationale for a UML system modelDefinition of the UML system modelUML descriptive semanticsAxiomatic semantics of UML class diagramsThe object constraint languageAxiomatic semantics of state machinesA coalgebraic semantic framework for reasoning about interaction designsSemantics of activity diagramsVerification of UML modelsState invariantsModel transformation specification and verificationAdditionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis.

9780470522615 | John Wiley & Sons Inc, October 13, 2009, cover price $110.00

9781844809523 | Cengage Learning, August 15, 2009, cover price $100.95 | About this edition: Aimed at 2nd and 3rd year/MSc courses, Model Driven Software Development using UML and Java introduces MDD, MDA and UML, and shows how UML can be used to specify, design, verify and implement software systems using an MDA approach.

9780750664967 | Butterworth-Heinemann, May 25, 2005, cover price $62.95

9780080456911 | Ebrary, May 1, 2005, cover price $56.95

9781860940088 | World Scientific Pub Co Inc, September 1, 1996, cover price $85.00 | About this edition: This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.

9781860940187 | World Scientific Pub Co Inc, September 1, 1996, cover price $45.00 | About this edition: This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.

9783540760337 | Springer Verlag, June 1, 1996, cover price $99.00 | About this edition: B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation.

9780907123361 | A K Pr Distribution, September 1, 1995, cover price $12.98 | About this edition: Book by