SDL '97: Time for Testing. SDL, MSC and Trends
Book information
Description
Content: Introduction, Pages v-viProgramme Committee, Page xiDesigning 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. BorelliSDL-based Modelling and Design of IN/UMTS Handover Functionality, Pages 19-34, A. Alonistioti, G. Nikolaidis, I. ModeasAn SDL-based platform for the simulation of communication networks using dynamic block instantiations, Pages 35-50, Andreas Iselt, Achim AutenriethSPEET —SDL Performance Evaluation Tool, Pages 53-67, Martin Steppler, Matthias LottPerformance Analysis of TCP's Flow Control Mechanisms using Queueing SDL, Pages 69-84, Jörg Hintelmann, Reinhard WesterfeldTuning Development of Distributed Real-Time Systems with SDL and MSC: Current Experience and Future Issues, Pages 85-100, R. GerlichTelephone Feature Verification: Translating SDL to TLA +, Pages 103-118, P. Gibson, D. MérySimulation 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 FischbeckDesign for Testability of Communication Protocols Based on SDL Specification, Pages 151-164, K. Karoui, R. Dssouli, N. YevtushenkoThe MSC-96 Distillery, Pages 167-182, Ø. HaugenSwitching Software Test Environment Using MSC, Pages 183-196, Shugo Shiba, Yoshiaki Shigeta, Wataru TanakaDeriving an SDL Specification with a Given Architecture from a Set of MSCs, Pages 197-212, Gabriel Robert, Ferhat Khendek, Peter GrogonoMSC'96 and Beyond - a Critical Look, Pages 213-227, Stefan Loidl, Ekkart Rudolph, Ursula HinkelSDL and MSC in international organizations: ITU-T, Pages 231-241, Rick ReedTowards 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 SchmittAutomating the process of test derivation from SDL specifications, Pages 261-276, G.v. Bochmann, A. Petrenko, O. Bellal, S. MaguiragaTest generation for the SSCOP-ATM networks protocol, Pages 277-288, Ana Cavalli, Boo-Ho Lee, Toma MacaveiHigh-level Message Sequence Charts, Pages 291-306, S. Mauw, M.A. ReniersAn Annotational Extension of Message Sequence Charts to Support Performance Engineering, Pages 307-322, Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank SlomkaMSCs at Siemens A/S — towards the usage of MSC-96, Pages 323-332, Astrid Nyeng, Svanhild GundersenAutomated Iteration between OMT* and SDL, Pages 335-350, Kurt VerschaeveIntroducing 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 BjorkanderA practical experience on validating GDMO-based information models with SDL'88 and '92, Pages 367-380, Samir Tata, Laurent Andrey, Olivier FestorCombining SDL and C, Pages 383-396, Pär-Olof Hakansson, Jan Karlsson, Louis VerhaardDerivation 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-ThielIndustrial Strength Code Generation from SDL, Pages 415-430, N. Mansurov, A. Chernov, A. RagozinIs open-edi a potential area for use of MSC and SDL?, Pages 433-442, Odile Troulet-LambertThe Unification of OMT, SDL and IDL for Service Creation, Pages 443-458, C. Loftus, E. Sherratt, E. Inocêncio, P. VianaCombining Object-Oriented and Real-Time Programming from an OMT and SDL design, Pages 459-472, Vincent Perrier, Nicolas DervauxObjectInterconnecting the GEODE and CÆSAR-Aldébaran toolsets, Pages 475-490, Alain Kerbrat, Carlos Rodriguez-Salazar, Yves LejeuneSpecifying the Steam-Boiler Case Study with SDL, Pages 491-505, F. Ammar Boudjelal, J.-Y. Lafaye, G. LouisThe SDL Specification of the Sliding Window Protocol Revisited, Pages 507-519, Christian Facchi, Markus Haubner, Ursula HinkelConfiguring Communication Protocols Using SDL Patterns, Pages 523-538, Birgit Geppert, Reinhard Gotzhein, Frank RößlerCode Generation Using GEODE: A CASE Study, Pages 539-550, Ranjit “Raj” Singh, Jerry ServissAuthor index, Page 551
Similar books
MySQL® Notes for Professionals book
2018 · PDF
MrExcel 2022: Boosting Excel
2022 · PDF
MrExcel 2022: Boosting Excel
2022 · PDF
Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36
2010 · PDF
THE BRITISH ARMY IN INDIA: ITS PRESERVATION BY AN APPROPRIATE CLOTHING, HOUSING, LOCATING, RECREATIVE EMPLOYMENT, AND HOPEFUL ENCOURAGEMENT OF THE TROOPS. with AN APPENDIX ON INDIA : THE CLIMATE OP ITS HILLS ; THE DEVELOPMENT OF ITS RESODRCBS, INDUSTRY, AND ARTS ; THE ADMINISTRATION OF JUSTICE ; THE BLACK ACT ; THE PROGRESS OF CHRISTIANITY ; THE TRAFFIC IN OPIUM ; THE VALUE OF INDIA ; PERMANENT CAUSES OF DISAFFECTION, AND OF THE RECENT REBELLION ; THE TRADITIONARY POLICY; MISGOVERNMENT BY NATIVE RULERS ; ANNEXATIONS OF THEIR TERRITORY, ETC.
1858 · PDF
Idries Shah 27 Books Collection : A Perfumed Scorpion, A Veiled Gazelle, Caravan of Dreams, Darkest England, Destination Mecca, Evenings with Idries Shah, Knowing How to Know, Learning How to Learn, Letters and Lectures of Idries Shah, Neglected aspects of Sufi study, Observations, Oriental Magic, Reflections, Seeker after Truth, Special Illumination, Special Problems in the study of Sufi ideas, Sufi thought and action, Tales of the Dervishes, The Dermis Probe, The Elephant in the Dark, The Englishman Handbook, Idries Shah Antology, The Magic Monastery, The natives are restless, wisdom of the Idiots PDF.
2022 · PDF
The travels of Capts. Lewis and Clarke from St. Louis, by way of the Missouri and Columbia rivers, to the Pacific ocean; performed in the years 1804, 1805 & 1806, by order of the government of the United States. Containing delineations of the manners, customs, religion, &c. of the Indians, comp. from various authentic sources, and original documents, and a summary of the Statistical view of the Indian nations, from the official communication of Meriwether Lewis. Illustrated with a map of the country, inhabited by the western tribes of Indians
1809 · PDF
Professional Linux kernel architecture ''Wrox programmer to programmer''--Cover. - ''What you are reading right now is the result of an evolution over more than seven years: After two years of writing, the first edition was published in German by Carl Hanser Verlag in 2003. It then described kernel 2.6.0. The test was used as a basis for the low-level design documentation for the EAL4+ security evaluation of Red Hat Enterprise Linux 5, requiring to update it to kernel 2.6.18 (if the EAL acronym does not mean anything to you, then Wikipedia is once more your friend). Hewlett-Packard sponsored the translation into English and has, thankfully, granted the rights to publish the result. Updates to kernel 2.6.24 were then performed specifically for this book''--P. ix
2008 · PDF