| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10343171 | Journal of Systems and Software | 2012 | 13 Pages |
Abstract
We propose to establish dependency solving as a separate concern from other upgrade aspects, and present CUDF as a formalism to describe upgrade scenarios. By analyzing the result of an international dependency solving competition, we provide evidence that the proposed approach is viable.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli,