Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008. The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 70 submissi...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Chaudron, Michel R. V. (Editor ), Szyperski, Clemens (Editor ), Reussner, Ralf H. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5282
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer programming.
Software Engineering.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Models of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Performance Engineering
  • Automating Performance Analysis from Taverna Workflows
  • An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction
  • Deploying Software Components for Performance
  • Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models
  • Extra-Functional Properties: Security and Energy
  • Validating Access Control Configurations in J2EE Applications
  • Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms
  • Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
  • Formal Methods and Model Checking
  • Synthesis of Connectors from Scenario-Based Interaction Specifications
  • State Space Reduction Techniques for Component Interfaces
  • Model Checking of Control-User Component-Based Parametrised Systems
  • Verification Techniques
  • Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
  • Structural Testing of Component-Based Systems
  • Towards Component-Based Design and Verification of a ?-Controller
  • Run-Time Infrastructures
  • ESCAPE: A Component-Based Policy Framework for Sense and React Applications
  • Experiences from Developing a Component Technology Agnostic Adaptation Framework
  • A Practical Approach for Finding Stale References in a Dynamic Service Platform
  • Methods of Design and Development
  • Towards a Systematic Method for Identifying Business Components
  • Life-Cycle Aware Modelling of Software Components
  • A Component Selection Framework for COTS Libraries
  • Opportunistic Reuse: Lessons from Scrapheap Software Development
  • Component Models
  • A Component Model for Control-Intensive Distributed Embedded Systems
  • The CoSi Component Model: Reviving the Black-Box Nature of Components
  • Ada-CCM: Component-Based Technology for Distributed Real-Time Systems.

Ejemplares similares