Muutke küpsiste eelistusi

E-raamat: SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings

Edited by , Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Model Driven Engineering
A Model-Based Standard for SDL
1(18)
Andreas Prinz
Markus Scheidgen
Merete S. Tveit
Model Driven Development and Code Generation: An Automotive Case Study
19(16)
Michele Banci
Alessandro Fantechi
Stefania Gnesi
Giovanni Lombardi
Experiences in Deploying Model-Driven Engineering
35(19)
Thomas Weigert
Frank Weil
Kevin Marth
Paul Baker
Clive Jervis
Paul Dietz
Yexuan Gui
Aswin van den Berg
Kim Fleer
David Nelson
Michael Wells
Brian Mastenbrook
Testing
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets
54(15)
Edith Werner
Jens Grabowski
Helmut Neukirchen
Nils Rottger
Stephan Waack
Benjamin Zeiss
Using TTCN for Radio Conformance Test Systems
69(17)
Javier Poncela-Gonzalez
Juan Gomez-Salvador
Carlos Valero-Roldan
Unai Fernandez-Plazaola
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile
86(15)
Paul Baker
Clive Jervis
Language Extensions
Specifying Input Port Bounds in SDL
101(16)
Reinhard Gotzhein
Rudiger Grammes
Thomas Kuhn
Translatable Finite State Time Machine
117(16)
Krzysztof Sacha
Enhanced Use Case Map Traversal Semantics
133(17)
Jason Kealey
Daniel Amyot
Implementation
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications
150(16)
Ingmar Fliege
Reinhard Gotzhein
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
166(20)
Frank Alexander Kraemer
Rolv Braek
Peter Herrmann
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator
186(17)
Manuel Rodriguez
Jose Maria Parra
Modeling Experience and Extensions
Consistency of UML/SPT Models
203(22)
Abdelouahed Gherbi
Ferhat Khendek
Formal Verification of Use Case Maps with Real Time Extensions
225(17)
Jameleddine Hassine
Juergen Rilling
Rachida Dssouli
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry
242(16)
Guillaume Chatelet
Benoit Parreaux
Yves-Marie Quemener
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
258(14)
Eric Verhulst
Gjalt de Jong
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems
272(17)
Tae-Hyong Kim
Qi-Ping Yang
Soon-Gi Park
Yeun-Seung Shin
Author Index 289