SDL 2005: Model Driven
Editat de Andreas Prinz, Rick Reed, Jeanne Reeden Limba Engleză Paperback – 9 iun 2005
Preț: 325.25 lei
Preț vechi: 406.57 lei
-20% Nou
Puncte Express: 488
Preț estimativ în valută:
57.54€ • 67.14$ • 50.31£
57.54€ • 67.14$ • 50.31£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
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.