دانلود کتاب SDL '99. The Next Millennium

Content: Introduction, Pages v-viProgramme committee, Pages xi-xiiIN Service Prototyping using SDL Models and Animation, Pages 3-17, Miguel Alabau, Pierre Combes, Béatrice Renard, France Telecom - BD Cnet DAC/PRISDL Framework for Prototyping and Validation of IN Services, Pages 19-32, Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav BergmanEvaluating an SDL Framework for AXE Development, Pages 33-48, Stein Erik Ellevseth, Birger Møller-PedersenNew Results on Deriving SDL Specifications from MSCs, Pages 51-66, M.M. Abdalla, F. Khendek, G. ButlerFrom Timed Scenarios to SDL: Specification, Implemention and Testing of Real-Time Systems, Pages 67-80, A. En-Nouaary, R. Dssouli, F. KhendekSDL Enhancements and Application for the Design of Distributed Services, Pages 83-94, Nils Fischbeck, Marc Born, Andreas Hoffmann, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim FischerModelling Interfaces in SDL with Gate Types, Pages 95-104, Eckhardt HolzMSC and data: Dynamic variables, Pages 105-120, A.G. Engels, L.M.G. Feijs, S. MauwSDL-based Specification and Testing Strategy for Communication Network Protocols, Pages 123-134, O. MonkewichAutomated test generation from SDL specifications, Pages 135-151, Alain Kerbrat, Thierry Jéron, Roland GrozMethods and Methodology for an Incremental Test Generation from SDL Specifications, Pages 153-168, Athmane Touag, Anne RougerTowards a New Formal SDL Semantics based on Abstract State Machines, Pages 171-190, U. Glässer, R. Gotzhein, A. PrinzTowards a Harmonization of UML-Sequence Diagrams and MSC, Pages 193-208, Ekkart Rudolph, Jens Grabowski, Peter GraubmannThree Scenarios for combining UML and SDL96, Pages 209-224, Kurt Verschaeve, Anders EkAutomatic synthesis of SDL models in Use Case Methodology, Pages 225-240, N. Mansurov, D. ZhukovIntegrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems, Pages 241-256, J.M. Alvarez, M. Díaz, L.M. Llopis, E. Pimentel, J.M. TroyaCOCOS - A Configurable SDL Compiler for Generating Efficient Protocol Implementations, Pages 259-274, Peter Langendoerfer, Hartmut KoenigUsing declarative mappings for automatic code generation from SDL and ASN.1, Pages 275-290, Nikolai Mansurov, Alexei RagozinUsing Design Metrics to Identify Error-Prone Components of SDL Designs, Pages 293-305, W.M. Zage, D.M. Zage, J.M. McGrew, N. SoodApplication of SDL metric suite through development phases, Pages 307-321, Yury ChernovDynamic scenario-based approach to re-engineering of legacy telecommunication software, Pages 325-340, N. Mansurov, R. ProbertSpecification, Validation and Implementation of ATM UNI Signaling Protocols in SDL, Pages 341-353, Dong Yuping, Lu Yinghua, Gao QiangUsing Metapatterns with SDL, Pages 355-372, Torben WormExternal communication with SDL Systems, Pages 373-385, Gerd Kurzbach, Martin v. Löwis of Menar, Ralf SchröderSDL and MSC Based Test Generation for Distributed Test Architectures, Pages 389-404, Jens Grabowski, Beat Koch, Michael Schmitt, Dieter HogrefeA test case generation tool for conformance testing of SDL systems, Pages 405-419, C. Bourhfir, R. Dssouli, E. Aboulhamid, N. RicoIF: An Intermediate Representation for SDL and its Applications, Pages 423-440, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph SifakisPerfSDL: Interface to Protocol Performance Analysis by means of Simulation, Pages 441-455, Mazen MalekEarly Performance Prediction of SDL/MSC-specifled Systems by Automated Synthetic Code Generation, Pages 457-471, W. Dulz, S. Gruhl, L. Kerber, M. SöllnerA simulation model for Message Sequence Charts, Pages 473-488, Loïc HélouëtAuthor Index, Page 489