|
|
Publications - Papers
 |
Computer Networks Volume 35 Issue 6
Special Issue: MSCand SDL in project life cycles, May 2001
|
 |
MSC and SDL in project life cycles Rachida Dssouli and Yair Lahav, p. 611-612 |
 |
Utilizing UML in SDL-based development
Michael Andersson, Anders Ek and Niklas Landin, p. 613-625
|
 |
The SDL pattern approach - a reuse-driven SDL design methodology Birgit Geppert and Frank Rößler, p. 627-645
|
 |
Applying techniques and tools for the performance engineering of SDL systems
Jörg Hintelmann, Richard Hofmann, Frank Lemmen, Andreas Mitschele-Thiel and Bruno
Müller-Clostermann, p. 647-665
|
 |
Improving time-to-market using SDL tools and techniques
Nikolai N. Mansurov and Robert L. Probert, p. 667-691
|
 |
Test cases selection from SDL specifications
C. Bourhfir, E. Aboulhamid, F. Khendek and R. Dssouli, p. 693-708
|
 |
Notes on SDL-2000 for the new millennium
Rick Reed, p. 709-720
|
 |
MSC-2000 interaction diagrams for the new millennium
Ø. Haugen, p. 721-732
|
 |
Guest editorial; Rolv Bræk, p. 1-3 |
 |
The ITU-T Languages in a Nutshell;
Arve Meisingset and Rolv Bræk, p. 4-19
|
 |
SDL-2000 for New Millennium Systems; Rick Reed, p 20-35 |
 |
SDL Combined with UML; Birger Møller-Pedersen, p.36-53 |
 |
MSC-2000: Interacting with the Future; Øystein Haugen, p. 54-61 |
 |
A Tutorial Introduction to ASN.1 97; Colin Willcock, p. 62-69 |
 |
CHILL 2000; Jürgen F H Winkler, p. 70-77 |
 |
Object Definition Language; Marc Born and Joachim Fischer, p. 78-84 |
 |
Conformance Testing with TTCN; Ina Schieferdecker and Jens Grabowski, p 85-95 |
 |
On Methodology Using the ITU-T Languages and UML; Rolv Bræk, p. 96-106 |
 |
Descriptive SDL; Steve Randall, p. 107-112 |
 |
Combined Use of SDL, ASN.1, MSC and TTCN; Anthony Wiles and Milan Zoric, p.113-119 |
 |
Implementing from SDL; Richard Sanders, p. 120-129 |
 |
Validation and Testing; Dieter Hogrefe, Beat Koch and Helmut Neukirchen, p.130-136 |
 |
Distributed Platform for Telecommunications Applications; Anastasius Gavras, p. 137-145 |
 |
Formal Semantics of Specification Languages; Andreas Prinz, p. 146-155 |
 |
Telelogic SDL and MSC Tool Families; Philippe Leblanc, Anders Ek and Thomas Hjelm, p. 156-163 |
 |
Cinderella SDL A Case Tool for Analysis and Design;
Anders Olsen and Finn Kristoffersen, p. 164-171
|
 |
The Evolution of SDL-2000; Rick Reed |
 |
Perspective on Language and Software Standardisation; Amardeo SarmaOther topics: |
 |
Quality of Service in the ETSI TIPHON Project; Magnus Krampell
QoS and SLA Structure in a VoIP Service Case; Irena Grgic, Ola Espvik, Terje Jensen and Magnus Krampell
Some Physical Considerations Concerning Radiation of Electromagnetic Waves; Knut N Stokke
|
 |
Structural and Behavioral Decomposition in Object Oriented Models
J. Fischer, E. Holz (Humboldt University) & B. Møller-Pedersen (Ericsson),
ISORC-2000: The 3rd IEEE International Symposium on Object-oriented
Real-time distributed Computing, California, March 2000, p. 368-375
|
 |
Computer Networks Volume 31, Issue 17
Special issue: Advanced Topics on SDL and MSC, 7 June 1999.
|
 |
Advanced Topics on SDL and MSC Ana Rosa Cavalli p. 1783-1784 |
 |
Operational Semantics for MSC'96 S. Mauw and M.A. Reniers p. 1785-1799 |
 |
Performance engineering of SDL/MSC systems Andreas Mitschele-Thiel and Bruno Mller-Clostermann p. 1801-1815 |
 |
Service validation Pierre Combes and Batrice Renard p. 1817-1834 |
 |
Test development for communication protocols: towards automation
R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary and C. Bourhfir p. 1835-1872
|
 |
Computer Networks and ISDN Systems Volume 28, Issue 12 Special Issue: SDL and MSC, June 1996
Guest editor: Ø. Haugen
|
 |
SDL Basics Bræk , R., p. 1585-1602 |
 |
Introduction to SDL-92 Sarma, A., p. 1603-1615 |
 |
An introduction to Z.105 Verhaard, L., p. 1617-1628 |
 |
Tutorial on Message Sequence Charts Rudolph, E., Graubmann, P. and Grabowski, J., p. 1629-1641 |
 |
The formalization of Message Sequence Charts Mauw, S., p. 1643-1657 |
 |
Validation of SDL systems Hogrefe, D., p. 1659-1667 |
 |
Testing methods for SDL systems Cavalli, A.R., Byoung-Moon, C. and Kilnam, C., p. 1669-1683 |
 |
Methodology for real time systems Reed, R., p. 1685-1701 |
 |
A requirements definition and assessment framework for SDL tools Cheng, K.E., p. 1703-1715 |
 |
Introduction to SDL-92 O. Færgemand and A. Olsen., p. 1143-1167 |
|