SDL 2007: Design for Dependable Systems

Emmanuel Gaudin

ISBN 10: 3540749837 / ISBN 13: 9783540749837

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2007, 2007

Beschreibung

Neuware -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. 304 pp. Englisch.

Bestandsnummer des Verkäufers 9783540749837

Bibliografische Details

• Titel: SDL 2007: Design for Dependable Systems
• Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2007
• Erscheinungsjahr: 2007
• Sprache: Englisch
• ISBN-10: 3540749837
• ISBN-13: 9783540749837
• Einband: Taschenbuch
• Zustand: Neu
• Abmessungen: 235B x 155 H x 17 T Millimeter Breite: 235 mm, Höhe: 155 mm, Tiefe: 17 mm
• Gewicht: 464 Gramm

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions-addressing all aspects of systems design and system design languages.