Kevin Lano has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Edition summary (click for prices and details):
Hardcover:
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.
Miscellaneous:
9780470522615 | John Wiley & Sons Inc, October 13, 2009, cover price $110.00
2
Edition summary (click for prices and details):
Paperback:
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.
3
Edition summary (click for prices and details):
Paperback:
9780750664967 | Butterworth-Heinemann, May 25, 2005, cover price $56.95 | About this edition: The Model Driven Architecture defines an approach where the specification of the functionality of a system can be separated from its implementation on a particular technology platform.
Miscellaneous:
9780080456911 | Ebrary, May 1, 2005, cover price $56.95
4
Product Description: Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C...read more
Edition summary (click for prices and details):
Hardcover:
9781860940088 | World Scientific Pub Co Inc, September 1, 1996, cover price $80.00 | About this edition: Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.
Paperback:
9781860940187 | World Scientific Pub Co Inc, September 1, 1996, cover price $42.00 | About this edition: Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.
5
Edition summary (click for prices and details):
Paperback:
9780907123361 | A K Pr Distribution, September 1, 1995, cover price $12.98
displaying 1 to 5 |
at end