





| |
SDL '87 - State Of The Art and Future Trends
Editors: R. Saracco and P. A. J. Tilanus
ISBN: 0 444 70286 5
Applications
 | The Use of SDL in an ISDN-terminal Project
V.M.M. Reijs (The Netherlands) |
 | SDL Usage within the Italian Administration
P. Bagnoli, L. Dragoni, R. Saracco (Italy) |
 | Experience Using CCITT SDL
M. Regan, J. Colton, R. Reed (U.K.) |
SDL Support Environment
 | DASOM - An SDL-tool
E. Vefsnmo (Norway) |
 | Successful Use of a Highly Tool-supported SDL-environment
C. Krechel (F.R.G.) |
 | Supporting the SDL User
R. Tinker, R. A. Orr, M. T. Norris (U.K.) |
 | SDL Prototype Implementation Concept
The SPIC Group (F.R.G., U.K., France, Italy) |
 | SDT SDL Design Tool
F. Belina, G. Nilsson (Sweden) |
 | An Approach to SDL Tool Development
M. Zoricí(Yugoslavia) |
 | Impact of the Latest SDL Evolutions on Existing Tools
L. Cerchio, R. Vallillo (Italy) |
 | Development of an SDL Graphic Environment
K. Kimbler, M. Sredniawa, M. Wojtal, B. Kakol, A.
Skopurinski, P. Gumulinski, M. Dabrowski (Poland) |
 | SDL-oriented Graphical Environment
J.P. Hong, J.S. Lee, Y.S. Shin, W. Choi (Republic of
Korea) |
 | SDL in Performance Evaluation
M. Sredniawa, B. Kakol, P. Gumulinski (Poland) |
 | SCAN, an Expert System for the Analysis of SDL
Specifications
E. Unruh (Sweden) |
 | An Integrated Set of Tools for Software Design Based on
SDL
H. Kossmann (F.R.G.) |
 | Software Automation System
J. Batista Junior (Brazil) |
 | Functional Block Diagrams are Part of SDL ë88
B.W. Takacs, J. Tegeler (F.R.G.) |
 | The Danish SDL-tool
A. Jensen (Denmark) |
Languages
 | Guidelines for the SDL Formal Model
A. Olsen (Denmark) |
 | Comparison of SDL and LSD
W. M. Beynon, M.T. Norris (U.K.) |
 | Evaluation and Comparison of Three Specification
Languages: SDL, LOTOS and ESTELLE
The SPECS Consortium (The Netherlands, Italy, France) |
Methodology
 | SDL Data Methodology
J. R.W. Smith (U.K.) |
 | SYSDAX - An Object Oriented Design Methodology Based on
SDL
K. H. Narfelt (Sweden) |
 | New Features in SDL - Correctness by Construction
P. Ostrowski, Z. Dziong (Poland) |
Formal Verification and Testing
 | The Abstract SDL Machine in the Formal Model
O. Færgemand (Denmark) |
 | Towards Practicality Predicate/Transition Petri Net
Reachability Analysis of SDL
B. Kettunen, M. Lindqvist (Finland) |
 | SDL-DEBUG a Portable Test Environment for SDL systems
B. Jobes, W. Irler (F.R.G.) |
 | Simulation of a Large SDL System: some Experiences and a
Proposed Method
D. Hogrefe (F.R.G.) |
 | Prototyping System for Telecommunications Software Based
on Abstract Execution of Requirements Specifications
Y. Wakahara, A. Ito (Japan) |
SDL Towards Implementation
 | Going from SDL to CHILL: The Tropico Approach
J.H.A. Franco, J. Haim, H.M. Lirna (Brazil) |
 | Using SDL as Specification and Design Language and Ada as
Implementation Language
J. Karlsson, L. Mansson (Sweden) |
 | Automatic Program Generation of SDL-specifications:
Principles and Solutions
U. Johansen, E. Vefsnmo, E. Vefsnmo (Norway) |
 | A Project of an Integrated Environment for SDL and CHILL
K. Kimbler, J. Lubacz, M. Sredniawa (Poland) |
 | MELBA at the Age of Eight: An Automatic Code Generation
System
L.N. Jackson, K.E. Cheng, T.S. Choong, R.S.V. Pascoe,
G.J. Cain (Australia). |
 | An Experimental Operating System for the Implementation
of Telecommunications Software, Based on SDL
P. H. A. Venemans (The Netherlands) |
Future Perspectives
 | The SPECS Architecture: Towards an Integrated
Specification Environment
The SPECS Consortium (The Netherlands, Italy, France) |
 | New Pathways for SDL
R. Bræk, G. Hasnes (Norway) |
 | Rationale and Tutorial on OSDL: an Object Oriented
Extension of SDL
D. Belsnes, B. Møller-Pedersen, H. P. Dahle (Norway) |
 | Declarative Specifications in Prolog and SDL
K. Koyanagi, K. Maruyama (Japan) |
 | Experience with and Future of LOTOS as a Specification
Language
E. Brinksma, G. Scollo, C. A. Vissers (The
Netherlands, Italy) |
DEMONSTRATIONS
 | Tools for Supporting the Use of SDL
edited by E.M. Dijkerman |
|