System analysis and modeling

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