Computer Science – Logic in Computer Science
Scientific paper
2010-07-06
EPTCS 29, 2010
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.29
This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) as part of the Federated Logic Conference (FLoC 2010), and which took place on July 10, 2010 in Edinburgh, UK. Modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Representing and solving configuration problems is a hot topic of great importance for many application domains. Some well-known examples of complex systems of components are Free and Open Source software distributions like GNU/Linux, or Eclipse plugins. The LoCoCo workshop has a focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal was to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programing, description logics, satisfiability and its extensions.
Lynce Inês
Treinen Ralf
No associations
LandOfFree
Proceedings First International Workshop on Logics for Component Configuration does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings First International Workshop on Logics for Component Configuration, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings First International Workshop on Logics for Component Configuration will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-216361