Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
OPIUM: Optimal Package Install/Uninstall Manager
ICSE '07 Proceedings of the 29th international conference on Software Engineering
QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On solving Boolean multilevel optimization problems
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
Proceedings of the IEEE/ACM international conference on Automated software engineering
Feature diagrams as package dependencies
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
MPM: a modular package manager
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
An MDE-based approach for solving configuration problems: an application to the eclipse platform
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
ACM SIGSOFT Software Engineering Notes
Boolean lexicographic optimization: algorithms & applications
Annals of Mathematics and Artificial Intelligence
Shades of gray: Opening up a software producing organization with the open software enterprise model
Journal of Systems and Software
Dependency solving: A separate concern in component evolution management
Journal of Systems and Software
A modular package manager architecture
Information and Software Technology
CafeSat: a modern SAT solver for Scala
Proceedings of the 4th Workshop on Scala
Hi-index | 0.00 |
One of the strength of Eclipse, the well-known open platform for software development, is its extensibility made possible by the built-in pluggability mechanisms. However those pluggability mechanisms only reveal their full potential when extensions created by others are made easy to distribute and obtain. The purpose of Eclipse p2 project is to build a platform addressing the challenges of distribution and obtention of Eclipse and its extensions, which poses the same dependency management issues than for component based systems. This paper focuses on the dependency management aspect of p2. It describes the metadata used to express dependencies, the overall functioning of our resolver and a description of our propositional constraints based encoding. To conclude we describe the challenges to address in future releases.