TY - GEN
T1 - Formal aspects of free and open source software components
T2 - 11th International Symposium on Formal Methods for Components and Objects, FMCO 2012
AU - Di Cosmo, Roberto
AU - Treinen, Ralf
AU - Zacchiroli, Stefano
PY - 2013/9/9
Y1 - 2013/9/9
N2 - Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.
AB - Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.
U2 - 10.1007/978-3-642-40615-7_8
DO - 10.1007/978-3-642-40615-7_8
M3 - Conference contribution
AN - SCOPUS:84883409367
SN - 9783642406140
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 216
EP - 239
BT - Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures
Y2 - 24 September 2012 through 28 September 2012
ER -