SDL 2003 : system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings
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 published in L...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2708 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SDL 2003, system design, 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003, proceedings, Rick Reed, Jeanne Reed (eds.), 2003, Berlin, Springer, 1 vol. (XI-403 p.), Lecture notes in computer science, 3-540-40539-9 • SDL 2003: System Design, Texte imprimé, 9783662178775 |
Obsah:
- 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.