Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. SAM 2004: Ottawa, Canada
- Daniel Amyot, Alan W. Williams:
System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3319, Springer 2005, ISBN 3-540-24561-8
SDL and eODL
- Andreas Hoffmann, Bertram Neubauer:
Deployment and Configuration of Distributed Systems. 1-16 - Harald Böhme, Joachim Fischer:
eODL and SDL in Combination for Components. 17-32 - Margarita de Cabo, Manuel Rodríguez:
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. 33-49 - Jörg Dorsch, Anders Ek, Reinhard Gotzhein:
SPT - The SDL Pattern Tool. 50-64
Evolution of Languages
- Øystein Haugen:
Comparing UML 2.0 Interactions and MSC-2000. 65-79 - Rick Reed:
Data Encoding for SDL in ITU-T Rec. Z.104. 80-95 - Edel Sherratt:
SDL in a Changing World. 96-105
Requirements and MSC
- Ferhat Khendek, Christophe Lohr
, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng:
Early Validation of Deployment and Scheduling Constraints for MSC Specifications. 106-121 - Bill Mitchell, Robert Thomson, Paul Bristow:
Scenario Synthesis from Imprecise Requirements. 122-137 - Jameleddine Hassine, Rachida Dssouli, Juergen Rilling:
Applying Reduction Techniques to Software Functional Requirement Specifications. 138-153
Security
- Christian Rinderknecht:
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. 154-170 - Cas J. F. Cremers, Sjouke Mauw:
Checking Secrecy by Means of Partial Order Reduction. 171-188 - Loïc Hélouët:
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. 189-207
SDL and Modelling
- Joachim Fischer, Michael Piefel, Markus Scheidgen:
A Metamodel for SDL-2000 in the Context of Metamodelling ULF. 208-223 - Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible:
A Flexible Micro Protocol Framework. 224-236 - Rolv Bræk, Jacqueline Floch:
ICT Convergence: Modeling Issues. 237-256
Experience
- Arjan J. Mooij, Nicolae Goga:
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. 257-270 - Frank Weil, Thomas Weigert:
Guidelines for Using SDL in Product Development. 271-289 - Paresh Jain, Amresh Paresh Jain:
Validating Wireless Protocol Conformance Test Cases. 290-300
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
