System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Amyot, Daniel (Επιμελητής έκδοσης), Williams, Alan W. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:Lecture Notes in Computer Science, 3319
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.