default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. SDL Forum 2001: Copenhagen, Denmark
- Rick Reed, Jeanne Reed:
SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Lecture Notes in Computer Science 2078, Springer 2001, ISBN 3-540-42281-1
Tools
- Jean-Louis Camus, Thierry Le Sergent:
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. 1-18 - Nikolai Mansurov, Djenana Campara:
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. 19-37
2001 and Beyond: Language Evolution
- Øystein Haugen:
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. 38-51 - Rodolphe Arthaud:
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems. 52-71
Combined SDL and UML
- Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
Collaboration-Based Design of SDL Systems. 72-89 - Jacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk:
Using UML for Implementation Design of SDL Systems. 90-106 - Niclas Bauer:
Deployment of SDL Systems Using UML. 107-122
Unified Testing
- Anthony Wiles:
ETSI Testing Activities and the Use of TTCN-3. 123-128 - Jens Grabowski, Peter Graubmann, Ekkart Rudolph:
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. 129-147 - Paul Baker, Ekkart Rudolph, Ina Schieferdecker:
Graphical Test Specification - The Graphical Format of TTCN-3. 148-167 - Dieter Hogrefe, Beat Koch, Helmut Neukirchen:
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. 168-181
Timing
- Iulian Ober, Alain Kerbrat:
Verification of Quantitative Temporal Properties of SDL Specifications. 182-202 - Ralf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann:
A General Approach for the Specification of Real-Time Systems with SDL. 203-222 - Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent:
Timed Extensions for SDL. 223-240
Unified ITU-T Languages
- J. Larmouth:
ASN.1 Is Reaching Out! 241-249 - Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski:
Distributed Systems: From Models to Components. 250-267 - Andrew Miga, Daniel Amyot
, Francis Bordeleau, Donald Cameron, C. Murray Woodside:
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. 268-287
SDL Application
- Juha Iso-Sipilä, Vesa Luukkala:
An SDL Implementation Framework for Third Generation Mobile Communications System. 288-299 - Ostap Monkewich, Igor Sales, Robert L. Probert:
OSPF Efficient LSA Refreshment Function in SDL. 300-315 - Vassilios Courzakis, Martin von Löwis, Ralf Schröder:
Using SDL in a Stateless Environment. 316-327
MSC
- Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw:
An MSC Based Representation of DiCons. 328-347 - Loïc Hélouët:
Some Pathological Message Sequence Charts, and How to Detect Them. 348-364 - Bengt Jonsson, Gerardo Padilla:
An Execution Semantics for MSC-2000. 365-378
Test and Verification
- Nicolae Goga:
Comparing TorX, Autolink, TGV and UIO Test Algorithms. 379-402 - Natalia Sidorova, Martin Steffen:
Verifying Large SDL-Specifications Using Model Checking. 403-420 - Wenhui Zhang:
Applying SDL Specifications and Tools to the Verification of Procedures. 421-438
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-04 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
