-
1
-
-
72449122776
-
Strong dependencies between software components
-
IEEE, Los Alamitos
-
Abate, P., Boender, J., Di Cosmo, R., Zacchiroli, S.: Strong dependencies between software components. In: ESEM 2009, pp. 89-99. IEEE, Los Alamitos (2009)
-
(2009)
ESEM 2009
, pp. 89-99
-
-
Abate, P.1
Boender, J.2
Di Cosmo, R.3
Zacchiroli, S.4
-
2
-
-
33646190894
-
Feature models, grammars, and propositional formulas
-
Obbink, H., Pohl, K. eds., Springer, Heidelberg
-
Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
-
(2005)
SPLC 2005. LNCS
, vol.3714
, pp. 7-20
-
-
Batory, D.1
-
3
-
-
25144450482
-
Automated reasoning on feature models
-
Pastor, Ó., Falc̃ao e Cunha, J. eds., Springer, Heidelberg
-
Benavides, D., Martín-Arroyo, P. T., Cortés, A. R.: Automated reasoning on feature models. In: Pastor, Ó., Falc̃ao e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)
-
(2005)
CAiSE 2005. LNCS
, vol.3520
, pp. 491-503
-
-
Benavides, D.1
Martín-Arroyo, P.T.2
Cortés, A.R.3
-
4
-
-
77950469659
-
Dependency management for the Eclipse ecosystem
-
ACM, New York
-
Berre, D. L., Rapicault, P.: Dependency management for the Eclipse ecosystem. In: IWOCE 2009. ACM, New York (2009)
-
(2009)
IWOCE 2009
-
-
Berre, D.L.1
Rapicault, P.2
-
5
-
-
51949105876
-
Improving the quality of GNU/Linux distributions
-
IEEE, Los Alamitos
-
Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Mancinelli, F.: Improving the quality of GNU/Linux distributions. In: COMPSAC, pp. 1240-1246. IEEE, Los Alamitos (2008)
-
(2008)
COMPSAC
, pp. 1240-1246
-
-
Boender, J.1
Di Cosmo, R.2
Vouillon, J.3
Durak, B.4
Mancinelli, F.5
-
7
-
-
70349100309
-
Package upgrades in FOSS distributions: Details and challenges
-
ACM, New York
-
Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008. ACM, New York (2008)
-
(2008)
HotSWup 2008
-
-
Di Cosmo, R.1
Trezentos, P.2
Zacchiroli, S.3
-
9
-
-
77956038138
-
Do sat solvers make good configurators?
-
Second Volume Workshops
-
Janota, M.: Do sat solvers make good configurators? In: SPLC 2008, Second Volume (Workshops), pp. 191-195 (2008)
-
(2008)
SPLC 2008
, pp. 191-195
-
-
Janota, M.1
-
10
-
-
47949101578
-
Reasoning about feature models in higher-order logic
-
IEEE Computer Society, Los Alamitos
-
Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: SPLC, pp. 13-22. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
SPLC
, pp. 13-22
-
-
Janota, M.1
Kiniry, J.2
-
11
-
-
0003512056
-
Feature-oriented domain analysis (FODA) feasibility study
-
Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., Peterson, A. S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. rep., CMU (1990)
-
(1990)
Tech. Rep., CMU
-
-
Kang, K.C.1
Cohen, S.G.2
Hess, J.A.3
Novak, W.E.4
Peterson, A.S.5
-
12
-
-
79960509250
-
On SAT technologies for dependency management and beyond
-
Le Berre, D., Parrain, A.: On SAT technologies for dependency management and beyond. In: ASPL 2008 (2008)
-
(2008)
ASPL 2008
-
-
Berre, D.1
Parrain, A.2
-
13
-
-
34547484783
-
Managing the complexity of large free and open source package-based software distributions
-
IEEE, Los Alamitos
-
Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X., Treinen, R.: Managing the complexity of large free and open source package-based software distributions. In: ASE 2006, pp. 199-208. IEEE, Los Alamitos (2006)
-
(2006)
ASE 2006
, pp. 199-208
-
-
Mancinelli, F.1
Boender, J.2
Di Cosmo, R.3
Vouillon, J.4
Durak, B.5
Leroy, X.6
Treinen, R.7
-
14
-
-
41149124129
-
Feature diagrams: A survey and a formal semantics
-
IEEE, Los Alamitos
-
Schobbens, P. Y., Heymans, P., Trigaux, J. C.: Feature diagrams: A survey and a formal semantics. In: RE 2006, pp. 136-145. IEEE, Los Alamitos (2006)
-
(2006)
RE 2006
, pp. 136-145
-
-
Schobbens, P.Y.1
Heymans, P.2
Trigaux, J.C.3
-
16
-
-
34548759075
-
OPIUM: Optimal package install/uninstall manager
-
Tucker, C., Shuffelton, D., Jhala, R., Lerner, S.: OPIUM: Optimal package install/uninstall manager. In: ICSE 2007, pp. 178-188 (2007)
-
(2007)
ICSE 2007
, pp. 178-188
-
-
Tucker, C.1
Shuffelton, D.2
Jhala, R.3
Lerner, S.4
|