Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,834,047 papers from all fields of science
Search
Sign In
Create Free Account
Specification and Description Language
Known as:
Specification and Design Language
, SDL
, SDL-RT
Expand
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Abstract state machines
C string handling
DEVS
Domain-specific language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A novel automated framework for modeling and evaluating covert channel algorithms
F. Rezaei
,
M. Hempel
,
H. Sharif
Secur. Commun. Networks
2015
Corpus ID: 206464677
In this paper, we introduce an automated framework that can model covert communication algorithms. Our proposed framework…
Expand
2013
2013
Co-simulation using specification and description language
Pau Fonseca i Casas
Online World Conference on Soft Computing in…
2013
Corpus ID: 42354783
When faced with complex problems we need powerful tools. These tools often provide answers to partial questions satisfactorily…
Expand
2010
2010
Representing Fibonacci function through cellular automata using specification and description language
Pau Fonseca i Casas
,
Màxim Colls
,
Josep Casanovas Garcia
2010
Corpus ID: 32676987
In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve…
Expand
2003
2003
SystemC-VHDL co-simulation and synthesis in the HW domain
M. Bombana
,
F. Bruschi
Design, Automation and Test in Europe Conference…
2003
Corpus ID: 2837097
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the…
Expand
Highly Cited
2001
Highly Cited
2001
Colif: A Design Representation for Application-Specific Multiprocessor SOCs
W. Cesário
,
G. Nicolescu
,
L. Gauthier
,
D. Lyonnard
,
A. Jerraya
IEEE Design & Test of Computers
2001
Corpus ID: 17942864
By separating component behavior and communication infrastructure and spanning multiple abstraction levels, Colif lets designers…
Expand
1997
1997
Configuring communication protocols using SDL patterns
B. Geppert
,
R. Gotzhein
,
F. Rößler
SDL Forum
1997
Corpus ID: 45363799
1997
1997
Automating the process of test derivation from SDL specifications
G. Bochmann
,
A. Petrenko
,
O. Bellal
,
S. Maguiraga
SDL Forum
1997
Corpus ID: 12245148
1996
1996
Die ITU-T-Spezifikationssprache SDL (Specification and Description Language)
O. Georg
1996
Corpus ID: 59888673
Die abstrakt definierten Primitiveprozeduren und Protokollablaufe des vorangegangenen Kapitels uber das OSI-Modell mussen fur…
Expand
1988
1988
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
A. Giacalone
,
S. Smolka
IEEE Trans. Software Eng.
1988
Corpus ID: 40978136
An ongoing project concerned with the development of environments that support the specification and design of concurrent systems…
Expand
1982
1982
Mbolop Tobé (Santhiou Kohel, Sénégal). Contribution à la connaissance du mégalithisme sénégambien
A. Gallay
,
G. Pignat
,
P. Curdy
1982
Corpus ID: 193363665
Res. d'A. Cet article est le compte rendu preliminaire des fouilles entreprises en 1980-81 par la mission de l'Universite de…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE