default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. SDL Forum 1999: Montréal, Québec, Canada
- Rachida Dssouli, Gregor von Bochmann, Yair Lahav:
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. Elsevier 1999
Applications I
- Miguel Alabau, Pierre Combes, Béatrice Renard:
IN Service prototyping using SDL models and animation. SDL Forum 1999: 3-18 - Kristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav Bergman:
SDL framework for prototyping and validation of IN services. SDL Forum 1999: 19-32 - Stein Erik Ellevseth, Birger Møller-Pedersen:
Evaluating an SDL framework for AXE development. SDL Forum 1999: 33-
Deriving SDL
- Miguel Abdalla, Ferhat Khendek, Greg Butler:
New results on deriving SDL specifications from MSCs. SDL Forum 1999: 51-66 - Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek:
From timed scenarios to SDL: specification, implementation and testing of real-time systems. SDL Forum 1999: 67-
Language Extension
- Nils Fischbeck, Marc Born, Andreas Hoffmann, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim Fischer:
SDL enhancements and application for the design of distributed services. SDL Forum 1999: 83-64 - Eckhardt Holz:
Modelling interfaces in SDL with gate types. SDL Forum 1999: 95-104 - André Engels, Loe M. G. Feijs, Sjouke Mauw:
MSC and data: dynamic variables. SDL Forum 1999: 105-
Testing I
- Ostap Monkewich:
SDL-based specification and testing strategy for communication network protocols. SDL Forum 1999: 123-134 - Alain Kerbrat, Thierry Jéron, Roland Groz:
Automated test generation from SDL specifications. SDL Forum 1999: 135-152 - Athmane Touag, A. Rouger:
Methods and methodology for an incremental test generation from SDL specifications. SDL Forum 1999: 153-
SDL and MSC for the next millennium
- Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum 1999: 171-192 - Ekkart Rudolph, Jens Grabowski, Peter Graubmann:
Towards a harmonization of UML-sequence diagrams and MSC. SDL Forum 1999: 193-208 - Kurt Verschaeve, Anders Ek:
Three scenarios for combining UML and SDL'96. SDL Forum 1999: 209-224 - Nikolai Mansurov, D. Zhukov:
Automatic synthesis of SDL models in use case methodology. SDL Forum 1999: 225-240 - José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. SDL Forum 1999: 241-
Code Generation
- Peter Langendörfer, Hartmut König:
COCOS - A configurable SDL compiler for generating efficient protocol implementations. SDL Forum 1999: 259-274 - Nikolai Mansurov, Alexei S. Ragozin:
Using declarative mapping for automatic code generation from SDL and ASN.1. SDL Forum 1999: 275-
Metric
- Wayne M. Zage, Dolores M. Zage, J. Michael McGrew, Nitin Sood:
Using design metrics to identify error-prone components of SDL designs. SDL Forum 1999: 293-306 - Yury Chernov:
Application of SDL metric suite through development phases. SDL Forum 1999: 307-
Applications II
- Nikolai Mansurov, Robert L. Probert:
Dynamic scenario-based approach to re-engineering of legacy telecommunication software. SDL Forum 1999: 325-340 - Yuping Dong, Yinghua Lu, Qiang Gao:
Specification, validation and implementation of ATM UNI signaling protocols in SDL. SDL Forum 1999: 341-354 - Torben Worm:
Using metapatterns with SDL. SDL Forum 1999: 355-372 - Gerd Kurzbach, Martin von Löwis, Ralf Schröder:
External communication with SDL systems. SDL Forum 1999: 373-
Testing II
- Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe:
SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404 - C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A test case generation tool for conformance testing of SDL systems. SDL Forum 1999: 405-
Time, performance and simulation
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis:
IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440 - Mazen Malek:
PerfSDL: Interface to protocol performance analysis by means of simulation. SDL Forum 1999: 441-456 - Winfried Dulz, S. Gruhl, Lennard Kerber, Michael Söllner:
Early performance prediction of SDL/MSC specified systems by automated synthetic code generation. SDL Forum 1999: 457-472 - Loïc Hélouët:
A simulation model for message sequence charts. SDL Forum 1999: 473-488
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-11-22 19:48 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:
