System Analysis and Modeling

Inhaltsverzeichnis

• 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.