Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schmidt, Heinz W. (Επιμελητής έκδοσης), Crnkovic, Ivica (Επιμελητής έκδοσης), Heineman, George T. (Επιμελητής έκδοσης), Stafford, Judith A. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4608
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Computer Communication Networks.

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

• Component-Based Architectures and Change
• Data Encapsulation in Software Components
• Binary Change Set Composition
• Automated and Unanticipated Flexible Component Substitution
• Dynamic Adaptation of Aspect-Oriented Components
• Component Based Game Development – A Solution to Escalating Costs and Expanding Deadlines?
• Quality of Service, Runtime Verification and Monitoring
• Performance Assessment for e-Government Services: An Experience Report
• An Approach for QoS Contract Negotiation in Distributed Component-Based Software
• A Study of Execution Environments for Software Components
• Monitoring Architectural Properties in Dynamic Component-Based Systems
• Extra-Functional Properties and Compositional Reasoning
• A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems
• Performance-Driven Interface Contract Enforcement for Scientific Components
• Integration of Time Issues into Component-Based Applications
• Slicing of Component Behavior Specification with Respect to Their Composition
• An Execution-Level Component Composition Model Based on Component Testing Information
• Web Services, Late Composition and Verification
• Capturing Web Services Provider Constraints – An Algorithmic Approach
• Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
• Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems
• A Framework for Contract-Based Collaborative Verification and Validation of Web Services
• Towards Composing Software Components in Both Design and Deployment Phases.