Abstract is missing.
- Deployment and Configuration of Distributed SystemsAndreas Hoffmann, Bertram Neubauer. 1-16 [doi]
- eODL and SDL in Combination for ComponentsHarald Böhme, Joachim Fischer. 17-32 [doi]
- Applying eODL and SDL-Patterns for Developing TMN Managed SystemsMargarita de Cabo, Manuel Rodríguez. 33-49 [doi]
- SPT - The SDL Pattern ToolJörg Dorsch, Anders Ek, Reinhard Gotzhein. 50-64 [doi]
- Comparing UML 2.0 Interactions and MSC-2000Øystein Haugen. 65-79 [doi]
- Data Encoding for SDL in ITU-T Rec. Z.104Rick Reed. 80-95 [doi]
- SDL in a Changing WorldEdel Sherratt. 96-105 [doi]
- Early Validation of Deployment and Scheduling Constraints for MSC SpecificationsFerhat Khendek, Christophe Lohr, Li-Xin Wang, Xiao Jun Zhang, Tong Zheng. 106-121 [doi]
- Scenario Synthesis from Imprecise RequirementsBill Mitchell, Robert Thomson, Paul Bristow. 122-137 [doi]
- Applying Reduction Techniques to Software Functional Requirement SpecificationsJameleddine Hassine, Rachida Dssouli, Juergen Rilling. 138-153 [doi]
- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding RulesChristian Rinderknecht. 154-170 [doi]
- Checking Secrecy by Means of Partial Order ReductionCas J. F. Cremers, Sjouke Mauw. 171-188 [doi]
- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2Loïc Hélouët. 189-207 [doi]
- A Metamodel for SDL-2000 in the Context of Metamodelling ULFJoachim Fischer, Michael Piefel, Markus Scheidgen. 208-223 [doi]
- A Flexible Micro Protocol FrameworkIngmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible. 224-236 [doi]
- ICT Convergence: Modeling IssuesRolv Bræk, Jacqueline Floch. 237-256 [doi]
- Dealing with Non-local Choice in IEEE 1073.2 s Standard for Remote ControlArjan J. Mooij, Nicolae Goga. 257-270 [doi]
- Guidelines for Using SDL in Product DevelopmentFrank Weil, Thomas Weigert. 271-289 [doi]
- Validating Wireless Protocol Conformance Test CasesParesh Jain, Amresh Paresh Jain. 290-300 [doi]