Software Composition [electronic resource] :6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren.
by Lumpe, Markus [editor.]; Vanderperren, Wim [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4829Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Description: online resource.ISBN: 9783540773511.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Computer Communication NetworksDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Advanced Parallel Processing Technologies | QA76.758 Transactions on Aspect-Oriented Software Development IV | QA76.758 High Performance Computing – HiPC 2007 | QA76.758 Software Composition | QA76.758 Runtime Verification | QA76.758 Composition of Embedded Systems. Scientific and Industrial Issues | QA76.758 Rationale-Based Software Engineering |
Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts -- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model -- Composite Contract Enforcement in Hierarchical Component Systems -- Towards a Unifying Theory for Choreography Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic Approach to Workflow Specification and Refinement -- Generic Feature-Based Software Composition -- Composition Management Interfaces for a Predictable Assembly -- Path-Based Error Propagation Analysis in Composition of Software Services -- Session: Dynamic Composition -- Dynamically Adaptable Applications with iPOJO Service Components -- Dynamic Contextual Service Ranking -- Session: Short Papers -- Measuring Reactability of Persistent Computing Systems -- Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages -- Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures -- Streamlining Feature-Oriented Designs -- Requirements for Reusable Aspect Deployment -- Session: Aspect-Oriented Programming -- Aspect-Oriented Programming: Selecting and Exposing Object Paths -- Debugging Aspect-Enabled Programs -- Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -- Session: Structural Composition -- Patterns of Component Evolution -- An Approach for Structural Pattern Composition -- Composite Connectors for Composing Software Components.
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Software Composition, SC 2007, held in Braga, Portugal, in March 2007. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2007. The 15 revised full papers and 5 revised short papers presented together with the abstract of 1 invited talk were carefully selected during two rounds of reviewing and improvement from 59 submissions. The papers are organized in topical sections on composition contracts, composition design and analysis, dynamic composition, short papers, aspect-oriented programming, and structural composition.
There are no comments for this item.