مشخصات کتاب

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

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

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

دانلود کتاب Trim Healthy Mama Cookbook: Eat Up and Slim Down with More Than 350 Healthy Recipes

دانلود کتاب Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

دانلود کتاب Economía Internacional

دانلود کتاب 52 Teen Girl Problems & How To Solve Them

دانلود کتاب Jane Austen, Game Theorist