default search action
8. SDL Forum 1997: Evry, France
- Ana R. Cavalli, Amardeo Sarma:
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. Elsevier 1997
Applications I
- Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli:
Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92. SDL Forum 1997: 3-18 - A. Alonistioti, G. Nikolaidis, I. Modeas:
SDL-based modelling and design of IN/UMTS handover functionality. SDL Forum 1997: 19-34 - Andreas Iselt, Achim Autenrieth:
An SDL-based platform for the simulation of communication networks using dynamic block instantiations. SDL Forum 1997: 35-
Performance Analysis
- Martin Steppler, Matthias Lott:
SPEET SDL performance evaluation tool. SDL Forum 1997: 53-68 - Jörg Hintelmann, Reinhard Westerfeld:
Performance analysis of TCP's flow control mechanisms using queueing SDL. SDL Forum 1997: 69-84 - Rainer Gerlich:
Tuning development of distributed real-time systems with SDL: Current experience and future issues. SDL Forum 1997: 85-
Verification and Validation I
- Dominique Méry, J. Paul Gibson:
Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118 - Maria Törö:
Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. SDL Forum 1997: 119-134 - Nils Fischbeck:
Experiences with ISDN validation models in SDL and proposal for new SDL features. SDL Forum 1997: 135-150 - Kamel Karoui, Rachida Dssouli, Nina Yevtushenko:
Design for testability of communication protocols based on SDL language. SDL Forum 1997: 151-
MSC I
- Øystein Haugen:
The MSC-96 distillery. SDL Forum 1997: 167-182 - Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka:
Switching software test environment using MSC. SDL Forum 1997: 183-196 - Gabriel Robert, Ferhat Khendek, Peter Grogono:
Deriving an SDL specification with a given architecture from a set of MSCs. SDL Forum 1997: 197-212 - Stefan Loidl, Ekkart Rudolph, Ursula Hinkel:
MSC'96 and beyond - a critical look. SDL Forum 1997: 213-
SDL and MSC in International Organizations
- Rick Reed:
SDL and MSC in international organizations: ITU-T. SDL Forum 1997: 231-
Testing
- Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt:
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260 - Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga:
Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276 - Ana R. Cavalli, Boo-Ho Lee, Toma Macavei:
Test generation for the SSCOP-ATM networks protocol. SDL Forum 1997: 277-
MSC II
- Sjouke Mauw, Michel A. Reniers:
High-level message sequence charts. SDL Forum 1997: 291-306 - Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka:
An annotational extension of message sequence charts to support performance engineering. SDL Forum 1997: 307-322 - Astrid Nyeng, Svanhild Gundersen:
MSCs at Siemens A/S - towards the usage of MSC-96. SDL Forum 1997: 323-
SDL and Other Languages I
- Kurt Verschaeve:
Automated iteration between OMT and SDL. SDL Forum 1997: 335-350 - J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Björkander:
Introducing SDL in the development of CORBA-compliant applications. SDL Forum 1997: 351-366 - Samir Tata, Laurent Andrey, Olivier Festor:
A practical experience on validating GDMO-based information models with SDL'88 and SDL'92. SDL Forum 1997: 367-
Code Generation
- Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard:
Combining SDL and C. SDL Forum 1997: 383-396 - Ralf Henke, Hartmut König, Andreas Mitschele-Thiel:
Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. SDL Forum 1997: 397-414 - Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin:
Industrial strength code generation from SDL. SDL Forum 1997: 415-
SDL and Other Languages II
- Odile Troulet-Lambert:
Is open-EDI a potential area for use of SDL? SDL Forum 1997: 433-442 - Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana:
The unification of OMT, SDL and IDL for service creation. SDL Forum 1997: 443-458 - Vincent Perrier, Nicolas Dervaux:
Combining object-oriented and real-time programming from an OMT and SDL design. SDL Forum 1997: 459-
Verification and Validation II
- Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune:
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. SDL Forum 1997: 475-490 - Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis:
Specifying the steam-boiler case study with SDL. SDL Forum 1997: 491-506 - Christian Facchi, Markus Haubner, Ursula Hinkel:
The SDL specification of the sliding window protocol revisited. SDL Forum 1997: 507-
Applications II
- Birgit Geppert, Reinhard Gotzhein, Frank Rößler:
Configuring communication protocols using SDL patterns. SDL Forum 1997: 523-538 - Ranjit Singh, Jerry Serviss:
Code generation using GEODE: A case study. SDL Forum 1997: 539-550
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 2024-12-29 01:15 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: