Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Margarita de Cabo, Manuel Rodríguez |
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
20 | Harald Böhme, Joachim Fischer |
eODL and SDL in Combination for Components. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Frank Weil, Thomas Weigert |
Guidelines for Using SDL in Product Development. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Dorsch, Anders Ek, Reinhard Gotzhein |
SPT - The SDL Pattern Tool. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Tong Zheng 0002, Ferhat Khendek |
Time consistency of MSC-2000 specifications. |
Comput. Networks |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Edel Sherratt (eds.) |
Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers |
SAM |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Tong Zheng 0002, Ferhat Khendek, Loïc Hélouët |
A Semantics for Timed MSC. |
VISS@ETAPS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Xuandong Li, Wenkai Tan, Guoliang Zheng |
Checking MSC Specifications for Timing Inconsistency. |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jens Grabowski, Dieter Hogrefe |
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP. |
Telecommun. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Dietrich Kuske |
A Further Step towards a Theory of Regular MSC Languages. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Swapan K. Parui, Amitava Datta |
On Convergence of a Neural Network Model Computing MSC. |
AFSS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Sul Jang, Young-Soo Kim |
MTF analysis on the MSC design. |
IGARSS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams |
Rapid Development of Network Software via SDL/Socket Interfaces. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
Socket Interface, SDL, Code Integration |
20 | Andreas Metzger, Stefan Queins |
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Prinz 0001, Mario Schwarz |
Object-Oriented Specification of Protocols for Reusability. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Prinz 0001 |
SDL Time Extensions from a Semantic Point of View. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher |
Understanding Existing Software with Use Case Map Scenarios. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible |
Micro Protocol Design: The SNMP Case Study. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas |
Implementation of UMTS Protocol Layers for the Radio Access Interface. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Susanne Graf |
Expression of Time and Duration Constraints in SDL. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener |
Techniques for Abstracting SDL Specifications. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Øystein Haugen |
MSC-2000 interaction diagrams for the new millennium. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rachida Dssouli, Yair Lahav |
MSC and SDL in project life cycles. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Shih-Liang (Sid) Wang |
Motion Simulation With Working Model 2D and MSC.visualNastran 4D. |
J. Comput. Inf. Sci. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Nikolai Mansurov |
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Terry Williams, K. Dickson |
Teaching real-life OR to MSc students. |
J. Oper. Res. Soc. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Edel Sherratt (eds.) |
SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000 |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
Development of a MSC/UML Test Format. |
FBT |
2000 |
DBLP BibTeX RDF |
|
20 | Eui Hyun Paik, DongGill Lee, Byung-Sun Lee |
A Testing Mechanism for Concurrent Programs Based on MSC. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
20 | F. A. Meijs |
Connecting Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Francis Bordeleau, Donald Cameron |
On the Relationship between use-case maps and Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler |
Development of SDL Based Software for an Embedded System - Practical Experience. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | François Terrier, Sébastien Gérard |
Real Time System Modeling with UML: current status and some prospects. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Anca Muscholl, Doron A. Peled |
Analyzing Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent |
SDL for Real-Time: What is Missing? |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | André Engels |
Design Decisions on Data and Guards in MSC2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Karl Meinke |
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Loïc Hélouët, Pierre Le Maigat |
Decomposition of Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Ferhat Khendek, Daniel Vincent |
Enriching SDL Specifications with MSCs. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | F. Boutet, E. Choveau, G. Rieux, Y. Lejeune |
Scheduling in SDL Simulation. Application to Future Air Navigation Systems. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | B. Rao |
SDL Based Auto Code Generation: A Multi Beneficial Approach. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas |
Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Olaf Henniger, Hasan Ural |
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya |
SDL and hard real time systems: new design and analyze techniques. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw |
Probabilities In The Torx Test Derivation Algorithm. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski |
HyperMSC - a Graphical Representation of TTCN. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein |
A Executable Formal Semantics for SDL-2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
20 | Sjouke Mauw, Michel A. Reniers |
Operational Semantics for MSC'96. |
Comput. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Mitschele-Thiel, Bruno Müller-Clostermann |
Performance engineering of SDL/MSC systems. |
Comput. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Ana R. Cavalli |
Advanced Topics on SDL and MSC. |
Comput. Networks |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Katharine L. Quarmby, Peter Willett 0002, Frances E. Wood |
Follow-up study of graduates from the MSc Information Management programme at the University of Sheffield. |
J. Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Peter Dickman |
The ALBA Experience: A Multi-University MSc in System Level Integration. |
MSE |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Ekkart Rudolph, Jens Grabowski, Peter Graubmann |
Towards a harmonization of UML-sequence diagrams and MSC. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
20 | André Engels, Loe M. G. Feijs, Sjouke Mauw |
MSC and data: dynamic variables. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
20 | 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 |
DBLP BibTeX RDF |
|
20 | Jens Grabowski, Beat Koch, Michael Schmitt 0002, Dieter Hogrefe |
SDL and MSC based test generation for distributed test architectures. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
20 | Joost-Pieter Katoen, Lennard Lambert |
Pomsets for MSC. |
FBT |
1998 |
DBLP BibTeX RDF |
|
20 | Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim |
A Process Algebra Semantics for MSC Including Conditions. |
FBT |
1998 |
DBLP BibTeX RDF |
|
20 | Frank Lemmen |
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. |
MMB |
1997 |
DBLP BibTeX RDF |
|
20 | Khaled M. F. Elsayed |
Dimensioning of communication links for base-station and MSC interconnection in CDMA mobile communication systems. |
ISCC |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ina Schieferdecker, Axel Rennoch, Olaf Mertens |
Timed MSCx - an Extension to MSC'96. |
FBT |
1997 |
DBLP BibTeX RDF |
|
20 | Frank Lemmen |
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. |
FBT |
1997 |
DBLP BibTeX RDF |
|
20 | Lennard Lambert |
Bewertung von MSC-Spezifikationen mit Task-Graphen. |
FBT |
1997 |
DBLP BibTeX RDF |
|
20 | Ana R. Cavalli, Amardeo Sarma (eds.) |
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga |
Automating the process of test derivation from SDL specifications. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | 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 |
DBLP BibTeX RDF |
|
20 | 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 |
DBLP BibTeX RDF |
|
20 | Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune |
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Rainer Gerlich |
Tuning development of distributed real-time systems with SDL: Current experience and future issues. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | 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 |
DBLP BibTeX RDF |
|
20 | Jörg Hintelmann, Reinhard Westerfeld |
Performance analysis of TCP's flow control mechanisms using queueing SDL. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Dominique Méry, J. Paul Gibson |
Telephone feature verification: Translating SDL to TLA+. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Ana R. Cavalli, Boo-Ho Lee, Toma Macavei |
Test generation for the SSCOP-ATM networks protocol. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Christian Facchi, Markus Haubner, Ursula Hinkel |
The SDL specification of the sliding window protocol revisited. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Martin Steppler, Matthias Lott |
SPEET SDL performance evaluation tool. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis |
Specifying the steam-boiler case study with SDL. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Ranjit Singh, Jerry Serviss |
Code generation using GEODE: A case study. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard |
Combining SDL and C. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt 0002 |
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Kamel Karoui, Rachida Dssouli, Nina Yevtushenko 0001 |
Design for testability of communication protocols based on SDL language. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Andreas Iselt, Achim Autenrieth |
An SDL-based platform for the simulation of communication networks using dynamic block instantiations. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Maria Törö |
Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Sjouke Mauw, Michel A. Reniers |
High-level message sequence charts. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | A. Alonistioti, G. Nikolaidis, I. Modeas |
SDL-based modelling and design of IN/UMTS handover functionality. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Vincent Perrier, Nicolas Dervaux |
Combining object-oriented and real-time programming from an OMT and SDL design. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin |
Industrial strength code generation from SDL. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Birgit Geppert, Reinhard Gotzhein, Frank Rößler |
Configuring communication protocols using SDL patterns. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Nils Fischbeck |
Experiences with ISDN validation models in SDL and proposal for new SDL features. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Samir Tata, Laurent Andrey, Olivier Festor |
A practical experience on validating GDMO-based information models with SDL'88 and SDL'92. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana |
The unification of OMT, SDL and IDL for service creation. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka |
An annotational extension of message sequence charts to support performance engineering. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Odile Troulet-Lambert |
Is open-EDI a potential area for use of SDL? |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Kurt Verschaeve |
Automated iteration between OMT and SDL. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Gabriel Robert, Ferhat Khendek, Peter Grogono |
Deriving an SDL specification with a given architecture from a set of MSCs. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
20 | Anthony Noerpel, Pertti Lukander, Li-Fung Chang, Vijay Varma, Edward H. Lipper |
Supporting PACS on a GSM MSC. |
IEEE Commun. Mag. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Winfried Dulz |
A Framework for the Performance Evaluation of SDL/MSC-Specified Systems. |
ESM |
1996 |
DBLP BibTeX RDF |
|
20 | Stefan Leue, Peter B. Ladkin |
Implementing and verifying MSC specifications using Promela/XSpin. |
The Spin Verification System |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. |
FORTE |
1996 |
DBLP BibTeX RDF |
|