default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. SDL Forum 2003: Stuttgart, Germany
- Rick Reed, Jeanne Reed:
SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings. Lecture Notes in Computer Science 2708, Springer 2003
Performance
- Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes:
Looking for Better Integration of Design and Performance Engineering. 1-17 - Dorina C. Petriu, Daniel Amyot, C. Murray Woodside:
Scenario-Based Performance Engineering with UCMNAV. 18-35
Evolution
- Jacqueline Floch, Rolv Bræk:
Using SDL for Modeling Behavior Composition. 36-54 - Susanne Graf, Ileana Ober:
A Real-Time Profile for UML and How to Adapt It to SDL. 55-76 - Peter Graubmann:
MSC Connectors - The Chamber of Secrets. 77-101
Development
- Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer:
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. 102-116 - Yong He, Daniel Amyot, Alan W. Williams:
Synthesizing SDL from Use Case Maps: An Experiment. 117-136 - Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis
:
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems. 137-149
Modeling
- Andreas Prinz, Martin von Löwis:
Generating a Compiler for SDL from the Formal Language Definition. 150-165 - Rickard Holsmark, Magnus Högberg, Shashi Kumar:
Modelling and Evaluation of a Network on Chip Architecture Using SDL. 166-182 - Kenneth J. Turner:
Formalizing Graphical Service Descriptions Using SDL. 183-202
Timing
- Giacomo Bucci, Andrea Fedeli, Enrico Vicario:
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. 203-217 - Benoit Parreaux, Daniel Vincent, Gérard Babonneau:
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. 218-233 - Tong Zheng, Ferhat Khendek, Benoit Parreaux:
Refining Timed MSCs. 234-250
Validation
- Jacqueline Floch, Rolv Bræk:
Using Projections for the Detection of Anomalous Behaviors. 251-268 - Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki:
Applying Mutation Analysis to SDL Specifications. 269-284 - Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi:
Automatic Formal Model Generation and Analysis of SDL. 285-299
Design
- Javier López, Juan J. Ortega, José M. Troya:
Applying SDL to Formal Analysis of Security Systems. 300-316 - Philipp Schaible, Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs. 317-334
Applications
- Ligang Wang, J. William Atwood, Anjali Agarwal:
Validation of SIP/H.323 Interworking Using SDL/MSC. 335-351 - Ken Y. Chan, Gregor von Bochmann:
Modeling IETF Session Initiation Protocol and Its Services in SDL. 352-373 - Thomas Weigert, Paul H. Dietz:
Automated Generation of Marshaling Code from High-Level Specifications. 374-386
SAM '02 Design Winner
- Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim:
The Winning Entry of the SAM 2002 Design Contest: . 387-404
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
