KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: SDL 2003: System Design
  • Produktbild: SDL 2003: System Design
Band 2708

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2003

Abbildungen

XII, 412 p.

Herausgeber

Rick Reed + weitere

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40539-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2003

Abbildungen

XII, 412 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40539-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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 2003: System Design
  • Produktbild: SDL 2003: System Design
  • Performance.- Looking for Better Integration of Design and Performance Engineering.- Scenario-Based Performance Engineering with UCMNAV.- Evolution.- Using SDL for Modeling Behavior Composition.- A Real-Time Profile for UML and How to Adapt It to SDL.- MSC Connectors — The Chamber of Secrets.- Development.- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment —.- Synthesizing SDL from Use Case Maps: An Experiment.- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.- Modeling.- Generating a Compiler for SDL from the Formal Language Definition.- Modelling and Evaluation of a Network on Chip Architecture Using SDL.- Formalizing Graphical Service Descriptions Using SDL.- Timing.- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.- Refining Timed MSCs.- Validation.- Using Projections for the Detection of Anomalous Behaviors.- Applying Mutation Analysis to SDL Specifications.- Automatic Formal Model Generation and Analysis of SDL.- Design.- Applying SDL to Formal Analysis of Security Systems.- Development of Distributed Systems with SDL by Means of Formalized APIs.- Applications.- Validation of SIP/H.323 Interworking Using SDL/MSC.- Modeling IETF Session Initiation Protocol and Its Services in SDL.- Automated Generation of Marshaling Code from High-Level Specifications.- SAM 2002 Design Winner.- The Winning Entry of the SAM 2002 Design Contest.