1 option
System Analysis and Modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / edited by Daniel Amyot, Alan W. Williams.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Computer communication networks and telecommunications ; SL 5, 3319.
- Computer Communication Networks and Telecommunications ; 3319
- Language:
- English
- Subjects (All):
- Computers.
- Computer science.
- Theory of Computation.
- Computer Science, general.
- Local Subjects:
- Theory of Computation.
- Computer Science, general.
- Physical Description:
- 1 online resource (XII, 302 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-31810-1
- 9783540318101
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.