System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3319 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- SDL and eODL
- Deployment and Configuration of Distributed Systems
- eODL and SDL in Combination for Components
- Applying eODL and SDL-Patterns for Developing TMN Managed Systems
- SPT – The SDL Pattern Tool
- Evolution of Languages
- Comparing UML 2.0 Interactions and MSC-2000
- Data Encoding for SDL in ITU-T Rec. Z.104
- SDL in a Changing World
- Requirements and MSC
- Early Validation of Deployment and Scheduling Constraints for MSC Specifications
- Scenario Synthesis from Imprecise Requirements
- Applying Reduction Techniques to Software Functional Requirement Specifications
- Security
- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules
- Checking Secrecy by Means of Partial Order Reduction
- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2
- SDL and Modelling
- A Metamodel for SDL-2000 in the Context of Metamodelling ULF
- A Flexible Micro Protocol Framework
- ICT Convergence: Modeling Issues
- Experience
- Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control
- Guidelines for Using SDL in Product Development
- Validating Wireless Protocol Conformance Test Cases.