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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Reed, Rick (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Reed, Jeanne (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2708
• Θέματα: Computers.; Computer communication systems.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Theory of Computation.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the "best" design. This follows a similar competition at the SAM 2002 workshop (papers pu...

Πίνακας περιεχομένων:

• 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.