SDL 2005: Model Driven
Editat de Andreas Prinz, Rick Reed, Jeanne Reeden Limba Engleză Paperback – 9 iun 2005
Preț: 326.26 lei
Preț vechi: 407.83 lei
-20%
Puncte Express: 489
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540266129
ISBN-10: 3540266127
Pagini: 380
Ilustrații: XII, 364 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540266127
Pagini: 380
Ilustrații: XII, 364 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
Language Issues.- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages.- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification.- Non-deterministic Constructs in OCL – What Does any() Mean.- Engineering Issues.- Integrating RT-CORBA in SDL.- Component Development: MDA Based Transformation from eODL to CIDL.- Service Discovery and Component Reuse with Semantic Interfaces.- ns+SDL – The Network Simulator for SDL Systems.- Message Sequence Charts.- Semantics of Message Sequence Charts.- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.- Applications and Tools (Short Papers).- SDL Design of OSPF Protocol for the Wireless Private Network.- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks.- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP.- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol.- Modeling, Verifying and Testing Mobility Protocol from SDL Language.- Cinderella SLIPPER: An SDL to C-Code Generator.- Model Driven Architecture (Short Papers).- Model-Driven Development of Reactive Systems with SDL.- A UML-Compatible Formal Language for System Architecture Description.- Test and Validation.- UCM-Driven Testing of Web Applications.- Network Element Testing Using TTCN-3: Benefits and Comparison.- A Compositional Approach to Service Validation.- Consistency Checking of Concurrent Models for Scenario-Based Specifications.- Code Generation.- SDL Code Generation for Open Systems.- SDL Versus C Equivalence Checking.- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.