Front matter
1-20
CoSDL - An Experimental Language for Collaboration Specification
Frank Rößler, Birgit Geppert and Reinhard Gotzhein
21-37
URN: Towards a New Standard for the Visual Description of Requirements
Daniel Amyot and Gunter Mussbacher
38-52
Expression of Time and Duration Constraints in SDL
Susanne Graf
53-60
SDL Time Extensions from a Semantic Point of View
Andreas Prinz
61-73
Micro Protocol Design: The SNMP Case Study1
Reinhard Gotzhein, Ferhat Khendek and Philipp Schaible
74-89
Implementation of UMTS Protocol Layers for the Radio Access Interface
Javier Colás, J. M. Pérez, Javier Poncela and J. T. Entrambasaguas
90-102
Object-Oriented Specification of Protocols for Reusability
Andreas Prinz and Mario Schwarz
103-123
Rapid Development of Network Software via SDL/Socket Interfaces
Tae-Hyong Kim, Robert L. Probert, Igor Sales and Alan Williams
124-140
Understanding Existing Software with Use Case Map Scenarios
Daniel Amyot, Nikolai Mansurov and Gunter Mussbacher
141-157
Techniques for Abstracting SDL Specifications
Sergiy Boroday, Roland Groz, Alex Petrenko and Yves-Marie Quemener
158-169
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
Andreas Metzger and Stefan Queins
170-198
Automatic Generation of Conformance Tests from Message Sequence Charts
Paul Baker, Paul Bristow, Clive Jervis, David King and Bill Mitchell
199-220
MSC Connectors - The Philosopher’s Stone
Peter Graubmann and Ekkart Rudolph
221-232
An Extension for MSC-2000 and Its Application
Tong Zheng and Ferhat Khendek
233-252
The Graphical Format of TTCN-3 in the Context of MSC and UML
Ina Schieferdecker and Jens Grabowski
Back matter