On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F14%3A43922614" target="_blank" >RIV/49777513:23520/14:43922614 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/SEAA.2014.35" target="_blank" >http://dx.doi.org/10.1109/SEAA.2014.35</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/SEAA.2014.35" target="_blank" >10.1109/SEAA.2014.35</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
Popis výsledku v původním jazyce
Modern software systems are not developed from scratch - they rely heavily on the reuse of functionality provided by libraries. Selecting the right libraries remains a challenging task. What is more, libraries themselves often depend on other libraries.Managing these transitive dependencies on libraries is risky. In this paper, we describe the problems that can occur when transitive dependencies are resolved automatically using examples from real-world programs. We then present an empirical study to assess the extent of the problem when the popular Maven tool is used, and propose an approach based on static type checking that can capture many of the problems described at build time.
Název v anglickém jazyce
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
Popis výsledku anglicky
Modern software systems are not developed from scratch - they rely heavily on the reuse of functionality provided by libraries. Selecting the right libraries remains a challenging task. What is more, libraries themselves often depend on other libraries.Managing these transitive dependencies on libraries is risky. In this paper, we describe the problems that can occur when transitive dependencies are resolved automatically using examples from real-world programs. We then present an empirical study to assess the extent of the problem when the popular Maven tool is used, and propose an approach based on static type checking that can capture many of the problems described at build time.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - Nové technologie pro informační společnost</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
SEAA 2014 40 th Euromicro Conference Series on Software Engineering and Advanced Applications
ISBN
978-1-4799-5794-1
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
166-173
Název nakladatele
IEEE
Místo vydání
Piscataway
Místo konání akce
Verona, Italia
Datum konání akce
27. 8. 2014
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—