Abstract is missing.
- Looking for Better Integration of Design and Performance EngineeringWei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes. 1-17 [doi]
- Scenario-Based Performance Engineering with UCMNAVDorina C. Petriu, Daniel Amyot, C. Murray Woodside. 18-35 [doi]
- Using SDL for Modeling Behavior CompositionJacqueline Floch, Rolv Bræk. 36-54 [doi]
- A Real-Time Profile for UML and How to Adapt It to SDLSusanne Graf, Ileana Ober. 55-76 [doi]
- MSC Connectors - The Chamber of SecretsPeter Graubmann. 77-101 [doi]
- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative AssessmentRüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer. 102-116 [doi]
- Synthesizing SDL from Use Case Maps: An ExperimentYong He, Daniel Amyot, Alan W. Williams. 117-136 [doi]
- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling SystemsChristoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis. 137-149 [doi]
- Generating a Compiler for SDL from the Formal Language DefinitionAndreas Prinz, Martin von Löwis. 150-165 [doi]
- Modelling and Evaluation of a Network on Chip Architecture Using SDLRickard Holsmark, Magnus Högberg, Shashi Kumar. 166-182 [doi]
- Formalizing Graphical Service Descriptions Using SDLKenneth J. Turner. 183-202 [doi]
- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL ToolsGiacomo Bucci, Andrea Fedeli, Enrico Vicario. 203-217 [doi]
- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast ProtocolBenoit Parreaux, Daniel Vincent, Gérard Babonneau. 218-233 [doi]
- Refining Timed MSCsTong Zheng, Ferhat Khendek, Benoit Parreaux. 234-250 [doi]
- Using Projections for the Detection of Anomalous BehaviorsJacqueline Floch, Rolv Bræk. 251-268 [doi]
- Applying Mutation Analysis to SDL SpecificationsGábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki. 269-284 [doi]
- Automatic Formal Model Generation and Analysis of SDLAnnikka Aalto, Nisse Husberg, Kimmo Varpaaniemi. 285-299 [doi]
- Applying SDL to Formal Analysis of Security SystemsJavier Lopez, Juan J. Ortega, José M. Troya. 300-316 [doi]
- Development of Distributed Systems with SDL by Means of Formalized APIsPhilipp Schaible, Reinhard Gotzhein. 317-334 [doi]
- Validation of SIP/H.323 Interworking Using SDL/MSCLigang Wang, J. William Atwood, Anjali Agarwal. 335-351 [doi]
- Modeling IETF Session Initiation Protocol and Its Services in SDLKen Y. Chan, Gregor von Bochmann. 352-373 [doi]
- Automated Generation of Marshaling Code from High-Level SpecificationsThomas Weigert, Paul Dietz. 374-386 [doi]
- The Winning Entry of the SAM 2002 Design Contest: Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim. 387-404 [doi]