27 papers:
ICST-2014-DelamaroDDLO #c #evaluation- Experimental Evaluation of SDL and One-Op Mutation for C (MED, LD, VHSD, NL, JO), pp. 203–212.
SAC-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.
FASE-2007-GrammesG #semantics #tool support- SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
MoDELS-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.
- MoDELS-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.
IFM-2005-Turner #formal method #interactive- Formalising Interactive Voice Services with SDL (KJT), pp. 307–326.
TestCom-2004-SugetaMW #mutation testing #specification #testing #validation- Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.
ICSE-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.
FME-2002-IoustinovaSS #model checking- Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.
VMCAI-2002-SidorovaS #model checking- Synchronous Closing of Timed SDL Systems for Model Checking (NS, MS), pp. 79–93.
TACAS-2000-BosnackiDHS #model checking- Model Checking SDL with Spin (DB, DD, LH, NS), pp. 363–377.
TOOLS-EUROPE-2000-LeblancO #case study #comparative #uml- Comparative Case Study in SDL and UML (PL, IO), pp. 120–131.
- TOOLS-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.
- FM-v1-1999-HusbergM #industrial #named #reachability
- Emma: Developing an Industrial Reachability Analyser for SDL (NH, TM), pp. 642–661.
- IWTCS-1999-ProbertW #functional #generative #performance #testing #using
- Fast Functional Test Generation Using an SDL Model (RLP, AWW), pp. 299–316.
- TACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
- Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
- TACAS-1998-RegensburgerB #mobile #verification
- Formal Verification of SDL Systems at the Siemens Mobile Phone Department (FR, AB), pp. 439–455.
WRLA-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.
LCTES-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.
- IWTCS-1998-SchmittEKGH #generative #named #testing
- Autolink — Putting SDL-Based Test Generation Into Practice (MSI, AE, BK, JG, DH), pp. 227–244.
- FME-1997-FleischhackT #realtime #semantics
- An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
SEKE-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.
- IWPTS-1993-LuoDB #generative #specification #testing
- Generating Tests for Control Portion of SDL Specifications (GL, AD, GvB), pp. 51–66.
- SEKE-1992-LiS
- A Simulation-Based SDL Support System (XL, OS), pp. 284–291.
CAV-1992-MeryM #ide #interactive #named #specification #verification- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.
ESEC-1987-Tempel #design #set #tool support- A Set of Tools supporting the Software Design Based on SDL (HGT), pp. 348–356.
DAC-1981-Cory #functional #simulation #verification- Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
