• Produktbild: SDL 2005: Model Driven
  • Produktbild: SDL 2005: Model Driven
Band 3530

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Abbildungen

XII, 364 p.

Herausgeber

Andreas Prinz + weitere

Verlag

Springer Berlin

Seitenzahl

364

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

575 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26612-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Abbildungen

XII, 364 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

364

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

575 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26612-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: SDL 2005: Model Driven
  • Produktbild: SDL 2005: Model Driven
  • 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.