UML 2 Semantics and Applications

Kevin Lano

2009 urr. · John Wiley & Sons

Liburu elektronikoa

400

orri

Balorazioak eta iritziak ez daude egiaztatuta Lortu informazio gehiago

Liburu elektroniko honi buruz

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.

Egileari buruz

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 MDA. Professor Lano is also an editor of the journal Software and Systems Modeling.

Baloratu liburu elektroniko hau

Eman iezaguzu iritzia.

Irakurtzeko informazioa

Telefono adimendunak eta tabletak

Instalatu Android eta iPad/iPhone gailuetarako Google Play Liburuak aplikazioa. Zure kontuarekin automatikoki sinkronizatzen da, eta konexioarekin nahiz gabe irakurri ahal izango dituzu liburuak, edonon zaudela ere.

Ordenagailu eramangarriak eta mahaigainekoak

Google Play-n erositako audio-liburuak entzuteko aukera ematen du ordenagailuko web-arakatzailearen bidez.

Irakurgailu elektronikoak eta bestelako gailuak

Tinta elektronikoa duten gailuetan (adibidez, Kobo-ko irakurgailu elektronikoak) liburuak irakurtzeko, fitxategi bat deskargatu beharko duzu, eta hura gailura transferitu. Jarraitu laguntza-zentroko argibide xehatuei fitxategiak irakurgailu elektroniko bateragarrietara transferitzeko.

Salatu legez kanpoko edukia