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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Amyot, Daniel (Editor ), Williams, Alan W. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Computer Communication Networks and Telecommunications, 3319
Temas:
Computer science.
Theory of Computation.
Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares