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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chaudron, Michel R. V. (Επιμελητής έκδοσης), Szyperski, Clemens (Επιμελητής έκδοσης), Reussner, Ralf (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5282
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Models and Principles.

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...

Πίνακας περιεχομένων:

• 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.