Conferences in DBLP
Carla G. N. Macario , Moacir Pedroso Jr. , Walter C. Borelli Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92. [Citation Graph (0, 0)][DBLP ] Conf ] A. Alonistioti , G. Nikolaidis , I. Modeas SDL-based modelling and design of IN/UMTS handover functionality. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Iselt , Achim Autenrieth An SDL-based platform for the simulation of communication networks using dynamic block instantiations. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Steppler , Matthias Lott SPEET SDL performance evaluation tool. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Hintelmann , Reinhard Westerfeld Performance analysis of TCP's flow control mechanisms using queueing SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Gerlich Tuning development of distributed real-time systems with SDL: Current experience and future issues. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Méry , J. Paul Gibson Telephone feature verification: Translating SDL to TLA+. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Törö Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Fischbeck Experiences with ISDN validation models in SDL and proposal for new SDL features. [Citation Graph (0, 0)][DBLP ] Conf ] Kamel Karoui , Rachida Dssouli , Nina Yevtushenko Design for testability of communication protocols based on SDL language. [Citation Graph (0, 0)][DBLP ] Conf ] Øystein Haugen The MSC-96 distillery. [Citation Graph (0, 0)][DBLP ] Conf ] Shugo Shiba , Yoshiaki Shigeta , Wataru Tanaka Switching software test environment using MSC. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Robert , Ferhat Khendek , Peter Grogono Deriving an SDL specification with a given architecture from a set of MSCs. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Loidl , Ekkart Rudolph , Ursula Hinkel MSC'96 and beyond - a critical look. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Reed SDL and MSC in international organizations: ITU-T. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Ek , Jens Grabowski , Dieter Hogrefe , Richard Jerome , Beat Koch , Michael Schmitt II Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor von Bochmann , Alexandre Petrenko , O. Bellal , S. Maguiraga Automating the process of test derivation from SDL specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ana R. Cavalli , Boo-Ho Lee , Toma Macavei Test generation for the SSCOP-ATM networks protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Sjouke Mauw , Michel A. Reniers High-level message sequence charts. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Faltin , Lennard Lambert , Andreas Mitschele-Thiel , Frank Slomka An annotational extension of message sequence charts to support performance engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Astrid Nyeng , Svanhild Gundersen MSCs at Siemens A/S - towards the usage of MSC-96. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Verschaeve Automated iteration between OMT and SDL. [Citation Graph (0, 0)][DBLP ] Conf ] J. Carracedo , Carlos Ramos , Rubén de Diego , Carlos González , Juan José Gil , Emilo Rodríguez , Morgan Bjorkander Introducing SDL in the development of CORBA-compliant applications. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Tata , Laurent Andrey , Olivier Festor A practical experience on validating GDMO-based information models with SDL'88 and SDL'92. [Citation Graph (0, 0)][DBLP ] Conf ] Paer-Olof Haokansson , Jan Karlsson , Louis Verhaard Combining SDL and C. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Henke , Hartmut König , Andreas Mitschele-Thiel Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai Mansurov , Andrew V. Chernov , Alexei S. Ragozin Industrial strength code generation from SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Odile Troulet-Lambert Is open-EDI a potential area for use of SDL? [Citation Graph (0, 0)][DBLP ] Conf ] Euricio Inocêncio , Chris W. Loftus , Edel Sherratt , Paula Viana The unification of OMT, SDL and IDL for service creation. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Perrier , Nicolas Dervaux Combining object-oriented and real-time programming from an OMT and SDL design. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Kerbrat , Carlos Rodriguez-Salazar , Yves Lejeune Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. [Citation Graph (0, 0)][DBLP ] Conf ] F. Ammar-Boudjelal , Jean-Yves Lafaye , Georges Louis Specifying the steam-boiler case study with SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Facchi , Markus Haubner , Ursula Hinkel The SDL specification of the sliding window protocol revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Geppert , Reinhard Gotzhein , Frank Rößler Configuring communication protocols using SDL patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Ranjit Singh , Jerry Serviss Code generation using GEODE: A case study. [Citation Graph (0, 0)][DBLP ] Conf ] 