An empirical study of the component dependency resolution search space

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6092 LNCS, Issue , 2010, Pages 182-199

  Jenson, Graham ^a   Dietrich, Jens ^a   Guesgen, Hans W ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EMPIRICAL STUDIES; OPTIMAL SOLUTIONS; OPTIMISATIONS; POSSIBLE SOLUTIONS; POTENTIAL SOLUTIONS; SEARCH SPACES; SOLUTION-SEARCH SPACE;

COMPUTER SOFTWARE;

OPTIMIZATION;

EID: 77954575771     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13238-4_11     Document Type: Conference Paper

References (21)

1. Casey, J., Massol, V., Porter, B., Sanchez, C.: Better Builds with Maven (2008)
2. Berre, D.L., Rapicault, P.: Dependency Management for the Eclipse Ecosystem. In: IWOCE 2009 (2009)
3. Savolainen, J., Oliver, I., Myllarniemi, V., Mannisto, T.: Analyzing and Restructuring Product Line Dependencies. In: Computer Software and Applications Conference, vol. 1, pp. 569-574. IEEE Computer Society Press, Los Alamitos (2007)
4. Berre, D.L., Parrain, A.: On SAT Technologies for dependency management and beyond. ASPL (2008)
5. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. The Component Software Series. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
6. David, P.C., Ledoux, T.: Towards a framework for self-adaptive component-based applications. Distributed Applications and Interoperable Systems, 1-14 (2003)
7. Plasil, F., Balek, D., Janecek, R.: SOFA/DCUP: architecture for component trading and dynamic updating. Configurable Distributed Systems, 43-51 (1998)
8. Berre, D.L., Parrain, A.: SAT4J at the SAT09 competitive events. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol. 5584, Springer, Heidelberg (2009)
9. Ouimet, M., Lundqvist, K.: The TASM toolset: Specification, simulation, and formal verification of Real-Time systems. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 126-130. Springer, Heidelberg (2007)
10. Batory, D.: Feature models, grammars, and propositional formulas. Software Product Lines, 7-10 (2005)
11. Schaefer, T.J.: The complexity of satisfiability problems. In: STOC 1978: Proceedings of the tenth annual ACM symposium on Theory of computing, pp. 216-226. ACM, New York (1978)
12. The OSGi Alliance: OSGi Service Platform Core Specification (2007)
13. Kriens, P.: How OSGi changed my life. Queue 6(1), 44-51 (2008)
14. Becker, S., Koziolek, H., Reussner, R.: Model-Based performance prediction with the palladio component model. In: Proceedings of the 6th International Workshop on Software and performance, pp. 54-65. ACM Press, New York (2007)
15. Dietrich, J., Jenson, G.: Treaty - a modular component contract language. In: WCOP 2008 (2008)
16. Pierantonio, A., Zacchiroli, S., Ruscio, D.D., Pelliccione, P.: Metamodel for describing system structure and state (2009)
17. Abiteboul, S., Dar, I., Pop, R., Vasile, G., Vodislav, D., Preda, N.: Large scale P2P distribution of open-source software. In: VLDB 2007, VLDB Endowment Vienna, Austria, pp. 1390-1393. (2007)
18. Post, H., Sinz, C.: Configuration lifting: Verification meets software configuration. 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008, 347-350 (2008)
19. Myllarniemi, V., Raatikainen, M., Mannisto, T.: Using a configurator for predictable component composition. In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 47-58 (2007)
20. Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. Artif. Intell. Eng. Des. Anal. Manuf. 17(1), 75-97 (2003)
21. Aleti, A., Grunske, L., Meedeniya, I., Moser, I.: Let the ants deploy your software: an ACO based deployment optimisation strategy. In: ASE (2009)