K Lano (8 results)

Paperback. Condition: Good. No Dust Jacket. Paperback. Good condition. Ex-academic library. Library labels on spine foot, inside front cover, half-title page, reverse of title page and last page of text. Library label residue on half-title page. Library stamps on half-title page, title page, inside rear cover, page block and at one or two further points. Minor pen markings on half-title page and reverse of title page. A few bumps and scores on covers. Binding is sound, and the contents are clear. AF. Ex-Library.…

Paperback. Condition: Brand New. 240 pages. 9.25x6.10x0.55 inches. In Stock.

Paperback. Condition: Brand New. 436 pages. 9.50x6.50x1.00 inches. In Stock.

HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Condition: New. With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications. Num Pages: 400 pages, Illustrations. BIC Classification: CFG; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 163 x 23. Weight in Grams: 682. . 2009. Hardcover. . . . .…

Gebunden. Condition: New. Kevin Lano is an Associate Professor in the Computer Science Department at King s College in London. He currently works on UML-RSDS: Reactive Systems Design Support where he runs the development of a method and toolset for system development using UML and M.

Condition: New. With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications. Num Pages: 400 pages, Illustrations. BIC Classification: CFG; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 163 x 23. Weight in Grams: 682. . 2009. Hardcover. . . . . Books ship from the US and Ireland.…

Hardcover. Condition: new. Hardcover. A coherent and integrated account of the leading UML 2 semanticswork and the practical applications of UML semantics developmentWith contributions from leading experts in the field, the bookbegins with an introduction to UML and goes on to offer in-depthand 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 interactiondesignsSemantics of activity diagramsVerification of UML modelsState invariantsModel transformation specification and verificationAdditionally, readers are provided with expert guidance on howto resolve semantic problems and a section on applications of UMLsemantics with model analysis. UML 2 Semantics andApplications is an ideal resource for researchers andtool-builders working in UML, among others. It is also an excellenttextbook for postgraduate teaching and research. With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…