Aligning component upgrades

Modern software systems, like GNU/Linux distributions or Eclipse-based development environment, are often deployed by selecting components out of large component repositories. Maintaining such software systems by performing component upgrades is a complex task, and the users need to have an expressi...

Full description

Bibliographic Details
Main Authors: Roberto Di Cosmo, Olivier Lhomme, Claude Michel
Format: Article
Language:English
Published: Open Publishing Association 2011-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1109.0456v1