Conferences in DBLP
Joachim Fischer , Andreas Kunert , Michael Piefel , Markus Scheidgen ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Koch , Karl Pauls An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Baar Non-deterministic Constructs in OCL - What Does any() Mean. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Díaz , Daniel Garrido , Luis Llopis , José M. Troya Integrating RT-CORBA in SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Böhme , Glenn Schütze , Konrad Voigt Component Development: MDA Based Transformation from eODL to CIDL. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Torbjørn Sanders , Rolv Bræk , Gregor von Bochmann , Daniel Amyot Service Discovery and Component Reuse with Semantic Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Kuhn , Alexander Geraldy , Reinhard Gotzhein , Florian Rothländer ns+SDL - The Network Simulator for SDL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Letichevsky , Julia V. Kapitonova , Vsevolod Kotlyarov , Vladislav A. Volkov , A. A. Letichevsky Jr. , Thomas Weigert Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Eichner , Hans Fleischhack , Roland Meyer , Ulrik Schrimpf , Christian Stehno Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Yang , Yang Lu , Xiaokang Lin SDL Design of OSPF Protocol for the Wireless Private Network. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Glässer , Andreas Prinz ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Constantin Werner , Xiaoming Fu , Dieter Hogrefe Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. [Citation Graph (0, 0)][DBLP ] Conf ] Laila Daniel , Matti Luukkainen , Markku Kojo Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Francine Ngani Noudem , César Viho Modeling, Verifying and Testing Mobility Protocol from SDL Language. [Citation Graph (0, 0)][DBLP ] Conf ] Yosef Rauchwerger , Finn Kristoffersen , Yair Lahav Cinderella SLIPPER: An SDL to C-Code Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Edel Sherratt Model-Driven Development of Reactive Systems with SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Pradella , Matteo Rossi , Dino Mandrioli A UML-Compatible Formal Language for System Architecture Description. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Amyot , Jean-François Roy , Michael Weiss UCM-Driven Testing of Web Applications. [Citation Graph (0, 0)][DBLP ] Conf ] G. Bhaskar Rao , Keerthi Timmaraju , Thomas Weigert Network Element Testing Using TTCN-3: Benefits and Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Floch , Rolv Bræk A Compositional Approach to Service Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Jun Hu , Lei Bu , Jianhua Zhao , Guoliang Zheng Consistency Checking of Concurrent Models for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Fischer , Toby Neumann , Anders Olsen SDL Code Generation for Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Malek Haroud , Armin Biere SDL Versus C Equivalence Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Humberto Nicolás Castejón Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. [Citation Graph (0, 0)][DBLP ] Conf ] 