ENGLISH

SDL '99. The Next Millennium

By Rachida Dssouli , Gregor v. Bochmann and Yair Lahav (Eds.)

Book information

Publisher
Elsevier
Year
1999
ISBN
978-0-444-50228-5
Language
english
Format
PDF
Filesize
8 MB (8514754 bytes)
Pages
462\462
Time added
2013-09-14 05:30:00

Description

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

Similar books

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

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.

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.

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

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