• 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. Systemvetenskap och AI

      SDL 2007: Design for Dependable Systems

      13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings

      AvEmmanuel Gaudin,Élie Najm

      Häftad, Engelska, 2007

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene?t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend.

      Produktinformation

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

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Model Driven Engineering.- A Model-Based Standard for SDL.- Model Driven Development and Code Generation: An Automotive Case Study.- Experiences in Deploying Model-Driven Engineering.- Testing.- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets.- Using TTCN for Radio Conformance Test Systems.- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.- Language Extensions.- Specifying Input Port Bounds in SDL.- Translatable Finite State Time Machine.- Enhanced Use Case Map Traversal Semantics.- Implementation.- Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.- Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator.- Modeling Experience and Extensions.- Consistency of UML/SPT Models.- Formal Verification of Use Case Maps with Real Time Extensions.- Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Rick Reed, Elie Najm, Emmanuel Gaudin - SDL 2007: Design for Dependable Systems, E-bok

      SDL 2007: Design for Dependable Systems

      Rick Reed, Elie Najm, Emmanuel Gaudin

      E-bok
      2007

      732 kr

      Elie Najm, Uwe Nestmann, Perdita Stevens - Formal Methods for Open Object-Based Distributed Systems, Häftad

      Formal Methods for Open Object-Based Distributed Systems

      Elie Najm, Uwe Nestmann, Perdita Stevens

      Häftad, 2003

      566 kr

      Rick Reed - Coldest Fear, Häftad

      Coldest Fear

      Rick Reed

      Häftad, 2016

      255 kr

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

      SDL 2003: System Design

      Jeanne Reed, Rick Reed

      E-bok
      2003

      732 kr

      Steven Walker, Rick Reed - Blood Trail, Häftad

      Blood Trail

      Steven Walker, Rick Reed

      Häftad, 2024

      189 kr

      Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm - Formal Description Techniques and Protocol Specification, Testing and Verification, Inbunden

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm

      Inbunden, 1998

      2 181 kr

      Jean-Bernard Stefani, Elie Najm - Formal Methods for Open Object-based Distributed Systems, E-bok

      Formal Methods for Open Object-based Distributed Systems

      Jean-Bernard Stefani, Elie Najm

      E-bok
      2016

      2 840 kr

      Perdita Stevens, Uwe Nestmann, Elie Najm - Formal Methods for Open Object-Based Distributed Systems, E-bok

      Formal Methods for Open Object-Based Distributed Systems

      Perdita Stevens, Uwe Nestmann, Elie Najm

      E-bok
      2003

      732 kr

      Rick Reed - Losing Your Luggage, Häftad

      Losing Your Luggage

      Rick Reed

      Häftad, 2023

      167 kr

      Rick Reed, Ina Schieferdecker, Markus Scheidgen, Joachim Fischer - SDL 2015: Model-Driven Engineering for Smart Cities, E-bok

      SDL 2015: Model-Driven Engineering for Smart Cities

      Rick Reed, Ina Schieferdecker, Markus Scheidgen, Joachim Fischer

      E-bok
      2015

      650 kr