SDL '91 : evolving methods : proceedings of the Fifth SDL Forum, Glasgow, Scotland, UK, 29 September-4 October, 1991
Sdl Forum, Ove Færgemand, Rick Reed · Elsevier eBooks · 1991
Language Issues. SDL & Z: a powerful modelling mix (E. Chiocchetti, G. Larini, F. Rende). An Operational Semantic Model for Basic SDL Extended Abstract (J.C. Godskesen). A Common Interchange Format for SDL (P. Madsen, O. Wiegen). XDL: An Object-Oriented Extension to SDL (S.J. Ochuodho, A.W. Brown). Verification. Verifying Properties of SDL Systems with a Resolution Theorem Prover (H. Tuominen). A Proof Environment for a Subset of SDL (D. Mery, A. Mokkedem). The Automated Verification of SDL Specifications Using Numerical Petri-nets (H.C. Kim et al.). Translation from SDL to LOTOS (T. Ando, M. Ohta, K. Takahashi). REAS - A Ripple Effect Analysis System (F. Yang, J. Chen). A Dynamic Analysis Tool for SDL (A. Ek, J. Ellsberger). Methods. SMO: A Stepwise Refinement and Verification for Software Systems (H. Cosmo, A. Sixtensson, E. Johansson). Applying Object-Oriented SDL (O. Haugen). How to get Complete ADT Definitions? A Tutorial (P.A.J. Tilanus). Library of reusable components (J. Batista Jr., M. Jino). A Migration Path from Structured Analysis to SDL (K.G. Sabatakakis, T.I. Costopoulou). Combining Services, Message Sequence Charts and SDL: Formalism, Method and Tools (V. Encontre et al.). An Intelligent Network Service Creation Environment (K.E. Cheng, L.N. Jackson). Using SDL for Hardware Design (W. Glunz, G. Venzl). Message Sequence Charts. Towards an SDL-Design-Methodology Using Sequence Charts Segments (E. Rudolph, P. Graubmann, J. Grabowski). Message Sequence Chart and SDL Specification Consistency Check (F. Kristoffersen). Consistency Analysis of Message Sequence Charts and SDL Systems (R. Nahm). A Formalisation of Message Sequence Charts (P.A.J. Tilanus). Testing. Approach to Behaviour Specification and Automated Test Generation for Telephone Exchange Systems (M. Grasmanis, I. Medvedis). Global State Based Automatic Test Generation for SDL (A. Kalnins). Test Selection Based on SDL Specifications with SAVE (G. Luo, A. Das, G.v. Bochmann). Simulation. Test Design based on SDL Simulation (H.J. Wilts, P.A.J. Tilanus). Translation of SDL to CRL in SPECS (B. Norbaek, A. Olsen). Performance Analysis of SDL Systems from SDL Descriptions (C. Wohlin). Execution. Engineering the Implementation of SDL Specifications (J. Gorman, U. Johansen). Towards an Integrated SDL/CHILL Environment (N. Duarte et al.). Translating OSDL to an Object-Oriented Programming Language (J. Norgaard). Implementation of SDL Switching Systems Using a Parallel Logic Programming Language (T. Taguchi, H. Hasegawa). AGAIN: Application Protocol Generator to Accelerate Implementation of Network Software (K. Tanaka et al.). Application. Evaluation of Tools in ESCORT (A. Ito et al.). Experiences in the use of SDL/GR in the Software Development Process (V.B. Klick, J. Patti, M.L. Todd). Executable Specifications in SDL for Validating Protocol Equipment (A. Sixtensson, S. Pettersson, A. Johansson). Introduction of CCITT SDL into GPT (K.K. Sandhu).