مشخصات کتاب

SDL '97: Time for Testing. SDL, MSC and Trends

ویرایش:  
نویسندگان: Ana Cavalli and Amardeo Sarma (Eds.)  
سری:  
ISBN (شابک) : 9780444828163 
ناشر: Elsevier 
سال نشر: 1997 
تعداد صفحات: 522 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 Mb 

در صورت تبدیل فایل کتاب SDL '97: Time for Testing. SDL, MSC and Trends به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب SDL '97: زمان تست. SDL، MSC و Trends نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب SDL '97: زمان تست. SDL، MSC و Trends

\r\n\r\n\r\n \r\n \r\n \r\n\r\n\r\n

توضیحاتی درمورد کتاب به خارجی

Content:
Introduction, Pages v-vi
Programme Committee, Page xi
Designing a Multi-user Software Environment for Development and Analysis using a combination of OMT and SDL92, Pages 3-17, Carla G.N. Macário, Moacir Pedroso Jr., Walter C. Borelli
SDL-based Modelling and Design of IN/UMTS Handover Functionality, Pages 19-34, A. Alonistioti, G. Nikolaidis, I. Modeas
An SDL-based platform for the simulation of communication networks using dynamic block instantiations, Pages 35-50, Andreas Iselt, Achim Autenrieth
SPEET —SDL Performance Evaluation Tool, Pages 53-67, Martin Steppler, Matthias Lott
Performance Analysis of TCP's Flow Control Mechanisms using Queueing SDL, Pages 69-84, Jörg Hintelmann, Reinhard Westerfeld
Tuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues, Pages 85-100, R. Gerlich
Telephone Feature Verification: Translating SDL to TLA ⁺, Pages 103-118, P. Gibson, D. Méry
Simulation of IP Mobility Support: An experiment in mobile protocol specification with SDL, Pages 119-134, Mária Törö
Experiences with ISDN Validation Models in SDL and Proposal for new SDL Features, Pages 135-150, Nils Fischbeck
Design for Testability of Communication Protocols Based on SDL Specification, Pages 151-164, K. Karoui, R. Dssouli, N. Yevtushenko
The MSC-96 Distillery, Pages 167-182, Ø. Haugen
Switching Software Test Environment Using MSC, Pages 183-196, Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka
Deriving an SDL Specification with a Given Architecture from a Set of MSCs, Pages 197-212, Gabriel Robert, Ferhat Khendek, Peter Grogono
MSC'96 and Beyond - a Critical Look, Pages 213-227, Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
SDL and MSC in international organizations: ITU-T, Pages 231-241, Rick Reed
Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications, Pages 245-259, Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt
Automating the process of test derivation from SDL specifications, Pages 261-276, G.v. Bochmann, A. Petrenko, O. Bellal, S. Maguiraga
Test generation for the SSCOP-ATM networks protocol, Pages 277-288, Ana Cavalli, Boo-Ho Lee, Toma Macavei
High-level Message Sequence Charts, Pages 291-306, S. Mauw, M.A. Reniers
An Annotational Extension of Message Sequence Charts to Support Performance Engineering, Pages 307-322, Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka
MSCs at Siemens A/S — towards the usage of MSC-96, Pages 323-332, Astrid Nyeng, Svanhild Gundersen
Automated Iteration between OMT* and SDL, Pages 335-350, Kurt Verschaeve
Introducing SDL in the development of CORBA-compliant applications, Pages 351-365, Justo Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilio Rodríguez, Morgan Bjorkander
A practical experience on validating GDMO-based information models with SDL'88 and '92, Pages 367-380, Samir Tata, Laurent Andrey, Olivier Festor
Combining SDL and C, Pages 383-396, Pär-Olof Hakansson, Jan Karlsson, Louis Verhaard
Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads, Pages 397-414, Ralf Henke, Hartmut König, Andreas Mitschele-Thiel
Industrial Strength Code Generation from SDL, Pages 415-430, N. Mansurov, A. Chernov, A. Ragozin
Is open-edi a potential area for use of MSC and SDL?, Pages 433-442, Odile Troulet-Lambert
The Unification of OMT, SDL and IDL for Service Creation, Pages 443-458, C. Loftus, E. Sherratt, E. Inocêncio, P. Viana
Combining Object-Oriented and Real-Time Programming from an OMT and SDL design, Pages 459-472, Vincent Perrier, Nicolas Dervaux
ObjectInterconnecting the GEODE and CÆSAR-Aldébaran toolsets, Pages 475-490, Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune
Specifying the Steam-Boiler Case Study with SDL, Pages 491-505, F. Ammar Boudjelal, J.-Y. Lafaye, G. Louis
The SDL Specification of the Sliding Window Protocol Revisited, Pages 507-519, Christian Facchi, Markus Haubner, Ursula Hinkel
Configuring Communication Protocols Using SDL Patterns, Pages 523-538, Birgit Geppert, Reinhard Gotzhein, Frank Rößler
Code Generation Using GEODE: A CASE Study, Pages 539-550, Ranjit “Raj” Singh, Jerry Serviss
Author index, Page 551

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Manufacturing of Pharmaceutical Proteins: From Technology to Economy

دانلود کتاب Texture of the Nervous System of Man and the Vertebrates: Volume I An annotated and edited translation of the original Spanish text with the additions of the French version by Pedro Pasik and Tauba Pasik

دانلود کتاب What Makes an Effective Executive

دانلود کتاب Gender, War, and Militarism: Feminist Perspectives

دانلود کتاب Documents Relating to the History and Settlements of the Towns along the Hudson and Mohawk River (with the exception of Albany) from 1630 to 1684