Component-Based Software Engineering

11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
Herausgegeben:Chaudron, Michel R. V.; Szyperski, Clemens; Reussner, Ralf

• Broschiertes Buch

Produktbeschreibung

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.

Produktdetails

• Lecture Notes in Computer Science 5282
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12533800, 978-3-540-87890-2
• 2008
• Seitenzahl: 368
• Erscheinungstermin: 6. Oktober 2008
• Englisch
• Abmessung: 235mm x 155mm x 20mm
• Gewicht: 564g
• ISBN-13: 9783540878902
• ISBN-10: 3540878904
• Artikelnr.: 25048510

Inhaltsangabe

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 theBlack-Box Nature of Components.- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems.