SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings /

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled "Design for Dependable Systems" and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gaudin, Emmanuel (Editor ), Najm, Élie (Editor ), Reed, Rick (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Computer Communication Networks and Telecommunications, 4745
Temas:
Computer science.
Computer engineering.
Computer networks .
Software engineering.
Electronic data processing-Management.
Theory of Computation.
Computer Engineering and Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Model Driven Engineering
  • A Model-Based Standard for SDL
  • Model Driven Development and Code Generation: An Automotive Case Study
  • Experiences in Deploying Model-Driven Engineering
  • Testing
  • TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets
  • Using TTCN for Radio Conformance Test Systems
  • Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile
  • Language Extensions
  • Specifying Input Port Bounds in SDL
  • Translatable Finite State Time Machine
  • Enhanced Use Case Map Traversal Semantics
  • Implementation
  • Automated Generation of Micro Protocol Descriptions from SDL Design Specifications
  • Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
  • Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator
  • Modeling Experience and Extensions
  • Consistency of UML/SPT Models
  • Formal Verification of Use Case Maps with Real Time Extensions
  • Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry
  • OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
  • SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.

Ejemplares similares