-
2
-
-
51949087005
-
-
Debian GNU/Linux, http://www.debian.org.
-
Debian GNU/Linux, http://www.debian.org.
-
-
-
-
3
-
-
51949091551
-
-
Distrowatch. http://www.distrowatch.com.
-
Distrowatch
-
-
-
5
-
-
51949099461
-
-
The edos project
-
The edos project. http://www.edos-project.org.
-
-
-
-
6
-
-
51949087349
-
-
Libzypp/sat solver. http://en.opensuse.org/Libzypp/Sat_Solver.
-
Libzypp/sat solver
-
-
-
7
-
-
51949092665
-
-
The mancoosi project
-
The mancoosi project. http://www.mancoosi.org.
-
-
-
-
10
-
-
51949097893
-
News from the EDOS project: Improving the maintenance of free software distributions
-
O. Berger, editor, Porto Allegre, Brazil, Apr
-
J. Boender, R. Di Cosmo, B. Durak, X. Leroy, F. Mancinelli, M. Morgado, D. Pinheiro, R. Treinen, P. Trezentos, and J. Vouillon. News from the EDOS project: improving the maintenance of free software distributions. In O. Berger, editor, Proceedings of the 7th International Workshop on Free Software (IWFS'06), pages 199-207, Porto Allegre, Brazil, Apr. 2006.
-
(2006)
Proceedings of the 7th International Workshop on Free Software (IWFS'06)
, pp. 199-207
-
-
Boender, J.1
Di Cosmo, R.2
Durak, B.3
Leroy, X.4
Mancinelli, F.5
Morgado, M.6
Pinheiro, D.7
Treinen, R.8
Trezentos, P.9
Vouillon, J.10
-
12
-
-
51949110567
-
Technical report, EDOS
-
Nov, EDOS project Deliverable 2.1, available as
-
R. Di Cosmo, F. Mancinelli, J. Boender, J. Vouillon, B. Durak, X. Leroy, D. Pinheiro, and R. Treinen. Report on formal mangement of software dependencies. Technical report, EDOS, Nov. 2005. EDOS project Deliverable 2.1, available as http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/ edos-wp2d1.pdf.
-
(2005)
Report on formal mangement of software dependencies
-
-
Di Cosmo, R.1
Mancinelli, F.2
Boender, J.3
Vouillon, J.4
Durak, B.5
Leroy, X.6
Pinheiro, D.7
Treinen, R.8
-
13
-
-
51949093246
-
-
R. Di Cosmo, F. Mancinelli, J. Boender, J. Vouillon, B. Durak, X. Leroy, D. Pinheiro, P. Trezentos, M. Morgado, T. Milo, T. Zur, R. Suarez, M. Lijour, and R. Treinen. Report on formal mangement of software dependencies. Technical report, EDOS, Apr. 2006. EDOS project Deliverable 2.2, available as http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/edos-wp2d2.pdf.
-
R. Di Cosmo, F. Mancinelli, J. Boender, J. Vouillon, B. Durak, X. Leroy, D. Pinheiro, P. Trezentos, M. Morgado, T. Milo, T. Zur, R. Suarez, M. Lijour, and R. Treinen. Report on formal mangement of software dependencies. Technical report, EDOS, Apr. 2006. EDOS project Deliverable 2.2, available as http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/edos-wp2d2.pdf.
-
-
-
-
14
-
-
51949118329
-
-
EDOS Project Workpackage 2 Team
-
EDOS Project Workpackage 2 Team. Deliverable 1, 2005. http://www.edos-project.org/xwiki/bin/Main/Deliverables.
-
(2005)
Deliverable
, vol.1
-
-
-
15
-
-
30344450270
-
An extensible SAT-solver
-
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003, of, Springer
-
N. Eén and N. Sörensson. An extensible SAT-solver. In Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003., volume 2919 of Lecture Notes in Computer Science, pages 502-518. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2919
, pp. 502-518
-
-
Eén, N.1
Sörensson, N.2
-
17
-
-
34547484783
-
-
F. Mancinelli, J. Boender, R. Di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In ASE, pages 199-208. IEEE Computer Society, 2006.
-
F. Mancinelli, J. Boender, R. Di Cosmo, J. Vouillon, B. Durak, X. Leroy, and R. Treinen. Managing the complexity of large free and open source package-based software distributions. In ASE, pages 199-208. IEEE Computer Society, 2006.
-
-
-
-
18
-
-
51949117375
-
-
Mandriva. URPMI. http://www.urpmi.org, 2005.
-
(2005)
Mandriva. URPMI
-
-
-
21
-
-
51949090578
-
-
G.N.Silva. Apt-howto. http://www.debian.org/doc/manuals/apt-howto, 2004.
-
G.N.Silva. Apt-howto. http://www.debian.org/doc/manuals/apt-howto, 2004.
-
-
-
-
22
-
-
84874758392
-
-
The Debian Project
-
The Debian Project. Debian policy manual. http://www.debian.org/doc/ debian-policy/index.html.
-
Debian policy manual
-
-
|