Abstract is missing.
- Analyzing Message Sequence ChartsAnca Muscholl, Doron Peled. 3-17
- Real Time System Modeling with UML: current status and some prospectsFrançois Terrier, Sébastien Gérard. 18-32
- Design Decisions on Data and Guards in MSC2000André Engels. 33-46
- Decomposition of Message Sequence ChartsLoïc Hélouët, Pierre Le Maigat. 47-60
- Connecting Message Sequence ChartsF. A. Meijs. 61-75
- HyperMSC - a Graphical Representation of TTCNEkkart Rudolph, Ina Schieferdecker, Jens Grabowski. 76
- SDL and hard real time systems: new design and analyze techniquesJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. 92-107
- SDL for Real-Time: What is Missing?Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. 108
- On the Relationship between use-case maps and Message Sequence ChartsFrancis Bordeleau, Donald Cameron. 123-138
- Adaptation Of SOMT To The Development Of Systems Based Upon a StandardJ. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas. 139-153
- Approximation of (H)MSC Semantics By AutomataNikolai Mansurov, Dmitri Vasura. 154
- Probabilities In The Torx Test Derivation AlgorithmLoe M. G. Feijs, Nicolae Goga, Sjouke Mauw. 173-188
- Test Generation Based On Control And Data Dependencies Within Multi-Process SDL SpecificationsOlaf Henniger, Hasan Ural. 189-202
- Validation and Test Case Generations for MSCs Using A Propositional SAT SolverKarl Meinke. 203
- A Executable Formal Semantics for SDL-2000Andreas Prinz, Robert Eschbach, Reinhard Gotzhein. 249-261
- A Semantics for MSC Based on Petri Net ComponentsStefan Heymer. 262
- Experience from Using MSC, UML and SDL in the Development of the FAME Communication ManagerKetil Stølen, P. Mohn. 276
- Development of SDL Based Software for an Embedded System - Practical ExperienceStefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler. 292-304
- Enriching SDL Specifications with MSCsFerhat Khendek, Daniel Vincent. 305-319
- Scheduling in SDL Simulation. Application to Future Air Navigation SystemsF. Boutet, E. Choveau, G. Rieux, Y. Lejeune. 320-332
- SDL Based Auto Code Generation: A Multi Beneficial ApproachB. Rao. 333-340