• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Informationsteknik: allmänt

      SDL 2005: Model Driven

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

      AvAndreas Prinz,Rick Reed

      Häftad, Engelska, 2005

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations.

      Produktinformation

      • Utgivningsdatum:2005-06-09
      • Mått:155 x 235 x 21 mm
      • Vikt:575 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:364
      • Upplaga:2005
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540266129

      Utforska kategorier

      • Informationsteknik: allmänt inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Jeanne Reed, Rick Reed - SDL 2003: System Design, E-bok

      SDL 2003: System Design

      Jeanne Reed, Rick Reed

      E-bok
      2003

      732 kr

      Jeanne Reed, Rick Reed - SDL 2001: Meeting UML, E-bok

      SDL 2001: Meeting UML

      Jeanne Reed, Rick Reed

      E-bok
      2003

      710 kr

      Rick Reed, Jeanne Reed - SDL 2001: Meeting UML, Häftad

      SDL 2001: Meeting UML

      Rick Reed, Jeanne Reed

      Häftad, 2001

      549 kr

      Jeanne Reed, Rick Reed, Andreas Prinz - SDL 2005: Model Driven, E-bok

      SDL 2005: Model Driven

      Jeanne Reed, Rick Reed, Andreas Prinz

      E-bok
      2005

      734 kr

      Rick Reed, Jeanne Reed - SDL 2003: System Design, Häftad

      SDL 2003: System Design

      Rick Reed, Jeanne Reed

      Häftad, 2003

      566 kr

      Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger - Correct Software in Web Applications and Web Services, Inbunden

      Correct Software in Web Applications and Web Services

      Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

      Inbunden, 2015

      549 kr

      Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger - Correct Software in Web Applications and Web Services, Häftad

      Correct Software in Web Applications and Web Services

      Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

      Häftad, 2016

      566 kr

      Bruno Buchberger, Andreas Prinz, Klaus-Dieter Schewe, Bernhard Thalheim - Correct Software in Web Applications and Web Services, E-bok

      Correct Software in Web Applications and Web Services

      Bruno Buchberger, Andreas Prinz, Klaus-Dieter Schewe, Bernhard Thalheim

      E-bok
      2015

      732 kr

      Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer, Bernhard Thalheim - Understanding Modelling and Programming, Häftad

      Understanding Modelling and Programming

      Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer, Bernhard Thalheim

      Häftad, 2024

      623 kr

      Bernhard Thalheim, Joachim Fischer, Birger Moller-Pedersen, Andreas Prinz - Understanding Modelling and Programming, E-bok

      Understanding Modelling and Programming

      Bernhard Thalheim, Joachim Fischer, Birger Moller-Pedersen, Andreas Prinz

      E-bok
      2024

      813 kr