Limit search to available items
Book Cover
Author SAM 2004 (2004 : Ottawa, Ont.)

Title System analysis and modeling : 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers / Daniel Amyot, Alan W. Williams (eds.)
Published Berlin ; New York : Springer, ©2005


Description 1 online resource (xii, 300 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3319
Lecture notes in computer science ; 3319. 0302-9743
Contents 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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Telecommunication -- Data processing -- Congresses
Telecommunication -- Security measures -- Congresses
System analysis -- Congresses
Communications software -- Congresses
SDL (Computer program language) -- Congresses
Telematics -- Congresses
TECHNOLOGY & ENGINEERING -- Telecommunications.
Communications software.
SDL (Computer program language)
System analysis.
Telecommunication -- Data processing.
Telecommunication -- Security measures.
Message sequence chart
Analyse de système.
Logiciel de communication.
LDS (Langage de programmation)
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Ottawa (2004)
Form Electronic book
Author Amyot, Daniel, 1970-
Williams, Alan Webber, 1963-
ISBN 9783540318101
Other Titles SAM 2004