BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (7)
system (6)
specif (5)
verif (4)
time (4)

Stem sdl$ (all stems)

27 papers:

ICSTICST-2014-DelamaroDDLO #c #evaluation
Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
SACSAC-2011-DumasDBB #partial order #verification
Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.
FASEFASE-2007-GrammesG #semantics #tool support
SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
MODELSMoDELS-2006-KuhnGW #case study #development #experience #modelling #process #tool support
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
MODELSMoDELS-2006-KuhnGW #case study #development #experience #modelling #process #tool support
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
IFMIFM-2005-Turner #formal method #interactive
Formalising Interactive Voice Services with SDL (KJT), pp. 307–326.
ICTSSTestCom-2004-SugetaMW #mutation testing #specification #testing #validation
Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.
ICSEICSE-2003-ZageZ #analysis #fault #process #scalability
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model (DMZ, WMZ), pp. 570–577.
FMFME-2002-IoustinovaSS #model checking
Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.
VMCAIVMCAI-2002-SidorovaS #model checking
Synchronous Closing of Timed SDL Systems for Model Checking (NS, MS), pp. 79–93.
TACASTACAS-2000-BosnackiDHS #model checking
Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.
TOOLSTOOLS-EUROPE-2000-LeblancO #case study #comparative #uml
Comparative Case Study in SDL and UML (PL, IO), pp. 120–131.
TOOLSTOOLS-USA-2000-FeldmannMRGR #approach #paradigm #quality #repository #reuse
An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm — Exemplified by the SDL-Pattern Approach (RLF, WM, NR, BG, FR), pp. 125–136.
FMFM-v1-1999-HusbergM #industrial #named #reachability
Emma: Developing an Industrial Reachability Analyser for SDL (NH, TM), pp. 642–661.
ICTSSIWTCS-1999-ProbertW #functional #generative #performance #testing #using
Fast Functional Test Generation Using an SDL Model (RLP, AWW), pp. 299–316.
TACASTACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
TACASTACAS-1998-RegensburgerB #mobile #verification
Formal Verification of SDL Systems at the Siemens Mobile Phone Department (FR, AB), pp. 439–455.
WRLAWRLA-1998-StegglesK #case study #logic #protocol #semantics
A timed rewriting logic semantics for SDL: A case study of alternating bit protocol (LJS, PK), pp. 83–104.
LCTESLCTES-1998-KollochF #case study #embedded #network #realtime #specification
Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network — A Case Study (TK, GF), pp. 156–165.
ICTSSIWTCS-1998-SchmittEKGH #generative #named #testing
Autolink — Putting SDL-Based Test Generation Into Practice (MSI, AE, BK, JG, DH), pp. 227–244.
FMFME-1997-FleischhackT #realtime #semantics
An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
SEKESEKE-1995-FarCK #design #reuse #specification #using
Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts’ Knowledge in Software Design (BHF, HC, ZK), pp. 189–196.
ICTSSIWPTS-1993-LuoDB #generative #specification #testing
Generating Tests for Control Portion of SDL Specifications (GL, AD, GvB), pp. 51–66.
SEKESEKE-1992-LiS
A Simulation-Based SDL Support System (XL, OS), pp. 284–291.
CAVCAV-1992-MeryM #ide #interactive #named #specification #verification
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.
ESECESEC-1987-Tempel #design #set #tool support
A Set of Tools supporting the Software Design Based on SDL (HGT), pp. 348–356.
DACDAC-1981-Cory #functional #simulation #verification
Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.