Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yihong Gong, Chua Hock Chuan, Zhu Yongwei, Masao Sakauchi |
A Generic Video Parsing System With a Scene Description Language (SDL). |
Real Time Imaging |
1996 |
DBLP DOI BibTeX RDF |
|
17 | K. E. Cheng |
A Requirements Definition and Assessment Framework for SDL Tools. |
Comput. Networks ISDN Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Amardeo Sarma |
Introduction to SDL-92. |
Comput. Networks ISDN Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk |
SDL Basics. |
Comput. Networks ISDN Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe |
Validation of SDL Systems. |
Comput. Networks ISDN Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon |
Testing Methods for SDL Systems. |
Comput. Networks ISDN Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Olaf Henniger, Michel Barbeau, Behçet Sarikaya |
Specification and testing of the behavior of network management agents using SDL-92. |
IEEE/ACM Trans. Netw. |
1996 |
DBLP DOI BibTeX RDF |
Internet |
17 | Markus Rinderspacher |
Mathematische Modellierung und Verifikation von SDL-Systemen. |
|
1996 |
RDF |
|
17 | Winfried Dulz |
A Framework for the Performance Evaluation of SDL/MSC-Specified Systems. |
ESM |
1996 |
DBLP BibTeX RDF |
|
17 | Jörg Hintelmann |
Integration of SDL Based QoS-Evaluation in Protocol Design. |
ESM |
1996 |
DBLP BibTeX RDF |
|
17 | Antonio Mendes da Silva Filho |
On Deriving Statecharts Supervision Models from SDL Specifications Using SSM. |
SBES |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Hazem El-Gendy |
Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications. |
ICECS |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Mitschele-Thiel |
Methodology and tools for the development of high performance parallel systems with SDL/MSCs. |
Software Engineering for Parallel and Distributed Systems |
1996 |
DBLP BibTeX RDF |
|
17 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
The QUEST-Approach for the Performance Evaluation of SDL-Systems. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
Performance Modelling with the Formal Specification Language SDL. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | Wolfgang Kellerer, Andreas Iselt, R. Riek |
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
Tool Support for Algebraic Specifications of Dat in SDL-92. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
A Timed Semantics for SDL. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
17 | Elke Heck |
Performance evaluation of formally specified systems: the integration of SDL with HIT. |
|
1996 |
RDF |
|
17 | Stefan Heinkel, Thomas Lindner |
SDL. |
Formal Development of Reactive Systems |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Behrouz H. Far, Hui Chen, Zenya Koono |
Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
17 | Ivanil S. Bonatti, Renato J. O. Figueiredo |
Stoht: an SDL-to-hardware translator. |
ASP-DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Anders Olsen, Bo Bichel Norbæk |
Using SDL for Targeting Services to CORBA. |
IS&N |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Conor Morris, John Nelson |
An SDL Based Realisation of an IN Service Development Environment. |
IS&N |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya |
Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics. |
EURO-DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Leue |
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger |
SDL and Petri net performance analysis of communicating systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
17 | Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock |
Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
17 | Bjørn Gulla, Joe Gorman |
Supporting Evolution of SDL-based Systems: Industrial Experience. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
17 | Ove Færgemand, Anders Olsen |
Introduction to SDL-92. |
Comput. Networks ISDN Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gusztáv Adamis |
Automatic Protocol implementation - generating C++ code from SDL/PR specifications. |
Microprocess. Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Maria Törö, Gábor Ziegler |
Validation of abstract test suites with use of SDL. |
Microprocess. Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi |
Interpretation of SDL specification in LOTOS. |
Syst. Comput. Jpn. |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Ermanno Berruto, Tomas Brännlund, Jan Gustafsson, Wolfgang Schott |
An SDL methodology used for specifying the radio protocols in a CDMA system. |
VTC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Leue, Philippe Oechslin |
From SDL specifications to optimized parallel protocol implementations. |
Protocols for High-Speed Networks |
1994 |
DBLP BibTeX RDF |
|
17 | Anders Ek, Jan Ellsberger, Anthony Wiles |
Computer supported test generation from SDL specifications. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
17 | |
The SDL Design Tool. |
FTRTFT |
1994 |
DBLP BibTeX RDF |
|
17 | Eckhardt Holz, Ketil Stølen |
An attempt to embed a restricted version of SDL as a target language in Focus. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
17 | Marc Phalippou |
Test sequence generation using Estelle or SDL structure information. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
17 | Fernando de Carvalho Gomes, Olivier Gascuel |
SDL, A Stochastic Algorithm for Learning Decision Lists with Limited Complexity. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Roland Rössler, Ulrich Schemmel |
Ein Betriebssystem für SDL. |
Prax. Inf.verarb. Kommun. |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Rolv Bræk, Øystein Haugen |
Engineering real time systems - an object-oriented methodology using SDL (2. pr.). |
|
1993 |
RDF |
|
17 | Gang Luo, Anindya Das, Gregor von Bochmann |
Generating Tests for Control Portion of SDL Specifications. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
17 | Wolfgang Glunz, Thomas Kruse, Torsten Rössel, Dieter Monjau |
Integrating SDL and VHDL for System-Level Hardware Design. |
CHDL |
1993 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Peter Buchholz 0001 |
Qualitative und Quantitative Analysis of Timed SDL Specifications. |
Kommunikation in Verteilten Systemen |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco |
An Industrial Experience on Development with LOTOS and SDL. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
17 | Hasan Ural, Alan W. Williams |
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
17 | Gerard J. Holzmann |
Practical methods for the formal validation of SDL specifications. |
Comput. Commun. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang |
A Common Compiler for LOTOS and SDL Specifications. |
IBM Syst. J. |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Robert Nahm |
Semantics of simple SDL. |
FBT |
1992 |
DBLP BibTeX RDF |
|
17 | Klaus Ahrens, Joachim Fischer, Andreas Prinz 0001, Dorota Witaszek |
Eine Entwicklungsumgebung für SDL'92. |
FBT |
1992 |
DBLP BibTeX RDF |
|
17 | O. Pulkkinen, Klaus Kronlöf |
Integration of SDL and VHDL for high-level digital design. |
EURO-DAC |
1992 |
DBLP DOI BibTeX RDF |
|
17 | B. Lutter, Wolfgang Glunz, Franz-Josef Rammig |
Using VHDL for simulation of SDL specifications. |
EURO-DAC |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Jan Ellsberger, Finn Kristoffersen |
Testability in the Context of SDL. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
17 | Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof |
A Common Semantics Representation for SDL and TTCN. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
17 | Finn Kristoffersen, Louis Verhaard, Michael Zeeberg |
Test derivation for SDL based on ACTs. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
17 | Susan C. Murphy, Per Gunningberg, John P. J. Kelly |
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. |
Comput. Networks ISDN Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Broy |
Towards a Formal Foundation of the Specification and Description Language SDL. |
Formal Aspects Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe, Amardeo Sarma |
SDL - with applications from protocol specification. |
|
1991 |
RDF |
|
17 | Vincent Encontre |
SDL: a standard language for Ada real-time applications. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda |
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
17 | Heinz Saria, Heinrich Nirschl, Carl Binding |
Mixing LOTOS and SDL Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
17 | Klaus Ahrens, Joachim Fischer, Eckhardt Holz, Ina Schieferdecker |
Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme. |
it Inf. Technol. |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Anders Olsen |
Extending SDL with a Procedural Data Concept. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
17 | Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa |
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
17 | Falko Bause, Peter Buchholz 0001 |
Protocol Analysis Using a Timed Version of SDL. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
17 | Anders Ek, Jan Ellsberger |
TA-2: A Prototype Analysing Dynamic SDL Properties. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
17 | Ove Faergemand |
Stepwise Production of an SDL Description. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe |
The CCITT-Specification and Description Language SDL. |
Comput. Networks |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Saracco, Jared Smith, Rick Reed |
Telecommunications systems engineering using SDL. |
|
1989 |
RDF |
|
17 | Gerard J. Holzmann, Joanna Patti |
Validating SDL Specifications: an Experiment. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
17 | S. Alfonzetti, Salvatore Casale, Alfio Lombardo, G. Bertocchi |
Designing a Gateway Between Teletex and OSI Networks by Means of SDL. |
INFOCOM |
1989 |
DBLP DOI BibTeX RDF |
|
17 | B. Ludwig, C. Krechel |
Kommunikationsmechanismen in einer multiprozessorfähigen SDL-Laufzeitumgebung. |
Kommunikation in Verteilten Systemen |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Michael Atlevi |
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
17 | Kong E. Cheng, Lindsay N. Jackson |
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
17 | L. A. Crutcher, M. H. Barton |
Implementing SDL in occam. |
Softw. Eng. J. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe |
OSI service specification with CCITT-SDL. |
Comput. Commun. Rev. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Heinz Kossmann |
Ein Toolset für den graphischen Entwurf verteilter Systeme mit SDL. |
GI Jahrestagung (2) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hogrefe, Amardeo Sarma |
Non-Determinism and SDL. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
17 | Michael Atlevi |
SDT - The SDL Design Tool. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
17 | Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia |
Modelling OSI in SDL. |
FORTE |
1988 |
DBLP BibTeX RDF |
|
17 | Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng |
Protocol Analysis and Implementation using NPNs and SDL. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
17 | Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle |
Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL. |
Comput. Networks |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Heinz Kossmann |
A Graphic SDL Support Environment. |
Comput. Networks |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Saracco, Paul A. J. Tilanus |
CCITT SDL: Overview of the Language and its Applications. |
Comput. Networks |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Hans Günter Tempel |
A Set of Tools supporting the Software Design Based on SDL. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Chakib Chraibi, Omar Rafiq, Richard Castanet |
SDL as a Testing Language. |
ICCC |
1986 |
DBLP BibTeX RDF |
|
17 | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth |
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. |
ICCC |
1986 |
DBLP BibTeX RDF |
|
17 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
17 | Giulio Brusasco |
Simulation and Testing Using SDL. |
ICC (3) |
1984 |
DBLP BibTeX RDF |
|
17 | Anders Rockström, Roberto Saracco |
SDL-CCITT Specification and Description Language. |
IEEE Trans. Commun. |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Wendell E. Cory |
Symbolic simulation for functional verification with ADLIB and SDL. |
DAC |
1981 |
DBLP BibTeX RDF |
|
17 | N. S. M. Shehad |
SDL II A System Dynamics Language Portable Translator Development and Design of a CSSL-Dynamo-type Language. |
|
1978 |
RDF |
|
16 | J. Jenny Li, Joseph Robert Horgan |
A Tool Suite for Diagnosis and Testing of Software Design Specifications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing |
16 | J. Jenny Li, Joseph Robert Horgan |
Simulation-Trace-Based Component Performance Prediction. |
Annual Simulation Symposium |
2000 |
DBLP DOI BibTeX RDF |
software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design |
10 | Gary Singh |
The Spiral Effect. |
IEEE Computer Graphics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
Formal Specification and Analysis of Timing Properties in Software Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Issam Jabri, Nicolas Krommenacker, Thierry Divoux, Adel Soudani |
IEEE 802.11 Load Balancing: An Approach for QoS Enhancement. |
Int. J. Wirel. Inf. Networks |
2008 |
DBLP DOI BibTeX RDF |
Quality of service, Load balancing, OPNET, Protocol specification, IEEE802.11 |
10 | Merete Skjelten Tveit |
Towards Diagrammatic Patterns. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|