Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008779411/catalog> ?p ?o. }

Showing items 1 to 29 of 29 with 100 items per page.

catalog contributor b12306399.
catalog contributor b12306400.
catalog contributor b12306401.
catalog created "c2001.".
catalog date "2001".
catalog date "c2001.".
catalog dateCopyrighted "c2001.".
catalog description "An MSC Based Representation of DiCons / J. C. M. Baeten, H. M. A. van Beek and S. Mauw -- Some Pathological Message Sequence Charts, and How to Detect Them / L. Helouet -- An Execution Semantics for MSC-2000 / B. Jonsson and G. Padilla -- Comparing TorX, Autolink, TGV and UIO Test Algorithms / N. Goga -- Verifying Large SDL-Specifications Using Model Checking / N. Sidorova and M. Steffen -- Applying SDL Specifications and Tools to the Verification of Procedures / W. Zhang.".
catalog description "Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems / J.-L. Camus and T. Le Sergent -- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems / N. Mansurov and D. Campara -- From MSC-2000 to UML 2.0 -- The Future of Sequence Diagrams / O. Haugen -- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems / R. Arthaud -- Collaboration-Based Design of SDL Systems / F. Roessler, B. Geppert and R. Gotzhein -- Using UML for Implementation Design of SDL Systems / J. Floch, R. Sanders and U. Johansen / [et al.] -- Deployment of SDL Systems Using UML / N. Bauer -- Invited Presentation: ETSI Testing Activities and the Use of TTCN-3 / A. Wiles -- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing / J. Grabowski, P. Graubmann and E. Rudolph -- Graphical Test Specification -- The Graphical Format of TTCN-3 / P. Baker, E. Rudolph and I. Schieferdecker -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation / D. Hogrefe, B. Koch and H. Neukirchen -- Verification of Quantitative Temporal Properties of SDL Specifications / I. Ober and A. Kerbrat -- A General Approach for the Specification of Real-Time Systems with SDL / R. Munzenberger, F. Slomka and M. Dorfel / [et al.] -- Timed Extensions for SDL / M. Bozga, S. Graf and L. Mounier / [et al.] -- ASN.1 Is Reaching Out! / J. Larmouth -- Distributed Systems: From Models to Components / F. Dubois, M. Born and H. Bohme / [et al.] -- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications / A. Miga, F. Bordeleau and M. Woodside / [et al.] -- An SDL Implementation Framework for Third Generation Mobile Communications System / J. Sipila and V. Luukkala -- OSPF Efficient LSA Refreshment Function in SDL / O. Monkewich, I. Sales and R. Probert -- Using SDL in a Stateless Environment / V. Courzakis, M. von Lowis and R. Schroder -- ".
catalog extent "xi, 437 p. :".
catalog identifier "3540422811 (pbk. : alk. paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2078".
catalog issued "2001".
catalog issued "c2001.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "005.13/3 21".
catalog subject "QA76.73.S35 S35 2001".
catalog subject "SDL (Computer program language) Congresses.".
catalog subject "Telecommunication Switching systems Design and construction Data processing Congresses.".
catalog tableOfContents "An MSC Based Representation of DiCons / J. C. M. Baeten, H. M. A. van Beek and S. Mauw -- Some Pathological Message Sequence Charts, and How to Detect Them / L. Helouet -- An Execution Semantics for MSC-2000 / B. Jonsson and G. Padilla -- Comparing TorX, Autolink, TGV and UIO Test Algorithms / N. Goga -- Verifying Large SDL-Specifications Using Model Checking / N. Sidorova and M. Steffen -- Applying SDL Specifications and Tools to the Verification of Procedures / W. Zhang.".
catalog tableOfContents "Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems / J.-L. Camus and T. Le Sergent -- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems / N. Mansurov and D. Campara -- From MSC-2000 to UML 2.0 -- The Future of Sequence Diagrams / O. Haugen -- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems / R. Arthaud -- Collaboration-Based Design of SDL Systems / F. Roessler, B. Geppert and R. Gotzhein -- Using UML for Implementation Design of SDL Systems / J. Floch, R. Sanders and U. Johansen / [et al.] -- Deployment of SDL Systems Using UML / N. Bauer -- Invited Presentation: ETSI Testing Activities and the Use of TTCN-3 / A. Wiles -- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing / J. Grabowski, P. Graubmann and E. Rudolph -- Graphical Test Specification -- The Graphical Format of TTCN-3 / P. Baker, E. Rudolph and I. Schieferdecker -- ".
catalog tableOfContents "Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation / D. Hogrefe, B. Koch and H. Neukirchen -- Verification of Quantitative Temporal Properties of SDL Specifications / I. Ober and A. Kerbrat -- A General Approach for the Specification of Real-Time Systems with SDL / R. Munzenberger, F. Slomka and M. Dorfel / [et al.] -- Timed Extensions for SDL / M. Bozga, S. Graf and L. Mounier / [et al.] -- ASN.1 Is Reaching Out! / J. Larmouth -- Distributed Systems: From Models to Components / F. Dubois, M. Born and H. Bohme / [et al.] -- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications / A. Miga, F. Bordeleau and M. Woodside / [et al.] -- An SDL Implementation Framework for Third Generation Mobile Communications System / J. Sipila and V. Luukkala -- OSPF Efficient LSA Refreshment Function in SDL / O. Monkewich, I. Sales and R. Probert -- Using SDL in a Stateless Environment / V. Courzakis, M. von Lowis and R. Schroder -- ".
catalog title "SDL 2001 : meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / Rick Reed, Jeanne Reed (eds.).".
catalog type "Conference proceedings. fast".
catalog type "Kopenhagen (2001) swd".
catalog type "text".