System Analysis and Modeling [electronic resource] :4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / edited by Daniel Amyot, Alan W. Williams.
by Amyot, Daniel [editor.]; Williams, Alan W [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3319Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: XII, 301 p. Also available online. online resource.ISBN: 9783540318101.Subject(s): Computer science | Computer Science | Computer Science, generalDDC classification: 004 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA75.5-76.95 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| TA357-359 Computational Fluid Dynamics 2004 | QA75.5-76.95 Computer Music Modeling and Retrieval | TK5105.5-5105.9 Ubiquitous Computing Systems | QA75.5-76.95 System Analysis and Modeling | QA76.7-76.73 Languages and Compilers for High Performance Computing | Q334-342 Advances in Artificial Life | Q334-342 Text, Speech and Dialogue |
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.
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, held in Ottawa, Canada in June 2004. The 19 revised full papers presented were carefully selected during two rounds of reviewing and revision from initially 46 submissions. The papers are organized in topical sections on SDL and eODL, evolution of languages, requirements and MSC, security, SDL and modeling, and experience.
There are no comments for this item.