Logga in

Lano, Kevin

UML 2 Semantics and Applications

Lano, Kevin - UML 2 Semantics and Applications, e-bok

98,90€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9780470522615
DRM-begränsningar

Skriva ut120 sidor with an additional page accrued var 7 timme, capped at 120 sidor
Kopiera till urklipp20 utdrag

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development


With 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 semantics


  • Considerations and rationale for a UML system model


  • Definition of the UML system model


  • UML descriptive semantics


  • Axiomatic semantics of UML class diagrams


  • The object constraint language


  • Axiomatic semantics of state machines


  • A coalgebraic semantic framework for reasoning about interaction designs


  • Semantics of activity diagrams


  • Verification of UML models


  • State invariants


  • Model transformation specification and verification


Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. UML 2 Semantics and Applications is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.

Författare
Utgivare
John Wiley and Sons, Inc.
Utgivningsår
2009
Språk
en
Utgåva
1
Sidantal
400 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9780470522615
Tryckt ISBN
9780470409084

Liknande e-böcker