Academic literature on the topic 'Software Dependency Graphs'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software Dependency Graphs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Software Dependency Graphs"

1

Anugerah, Josie, and Eve Martin-Jones. "The Surprise of Multiple Dependency Graphs." Queue 23, no. 1 (2025): 64–84. https://doi.org/10.1145/3723000.

Full text
Abstract:
It seems like it should be easy to avoid installing vulnerable open source software, but dependency graphs are surprisingly complex. At the time of writing, the latest version of the popular npm tool webpack has millions of potential dependency graphs depending on circumstances during its resolution. The exact graph chosen for a given package can depend on what other software is being built, what kind of system is building it, and even the state of the ecosystem on a given day. As a result, the developer and user of a package may end up with very different dependency graphs, which can lead to
APA, Harvard, Vancouver, ISO, and other styles
2

Sikka, Geeta, and Harleen Kaur. "Enriching Module Dependency Graphs for Improved Software Clustering." International Journal of System of Systems Engineering 12, no. 1 (2022): 1. http://dx.doi.org/10.1504/ijsse.2022.10038005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gautam, Pratiksha, and Hemraj Saini. "Non-Trivial Software Clone Detection Using Program Dependency Graph." International Journal of Open Source Software and Processes 8, no. 2 (2017): 1–24. http://dx.doi.org/10.4018/ijossp.2017040101.

Full text
Abstract:
Code clones are copied fragments that occur at different levels of abstraction and may have different origins in a software system. This article presents an approach which shows the significant parts of source code. Further, by using significant parts of a source code, a control flow graph can be generated. This control flow graph represents the statements of a code/program in the form of basic blocks or nodes and the edges represent the control flow between those basic blocks. A hybrid approach, named the Program Dependence Graph (PDG) is also presented in this article for the detection of no
APA, Harvard, Vancouver, ISO, and other styles
4

Enevoldsen, Søren, Kim G. Larsen, Anders Mariegaard, and Jiří Srba. "Dependency graphs with applications to verification." International Journal on Software Tools for Technology Transfer 22, no. 5 (2020): 635–54. http://dx.doi.org/10.1007/s10009-020-00578-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Korobkin, Dmitriy Mihaylovich, and Sergey Fomenkov. "Image analysis of physical quantities dependencies graphs." Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics 2025, no. 1 (2025): 17–27. https://doi.org/10.24143/2072-9502-2025-1-17-27.

Full text
Abstract:
Physical effects used at the conceptual design stage, described in “primary” sources of information, such as patents, often contain images of dependency graphs linking physical input and output quantities. Analysis of this information and its use to expand the description of a physical effect is a relevant task. The development of a method for analyzing graphic images for classifying dependency graphs of input and output physical quantities is described. This requires forming a labeled array of dependency graphs, as well as conducting computational experiments to identify the most effective ar
APA, Harvard, Vancouver, ISO, and other styles
6

Krasanakis, Emmanouil, and Andreas Symeonidis. "Fast Library Recommendation in Software Dependency Graphs with Symmetric Partially Absorbing Random Walks." Future Internet 14, no. 5 (2022): 124. http://dx.doi.org/10.3390/fi14050124.

Full text
Abstract:
To help developers discover libraries suited to their software projects, automated approaches often start from already employed libraries and recommend more based on co-occurrence patterns in other projects. The most accurate project–library recommendation systems employ Graph Neural Networks (GNNs) that learn latent node representations for link prediction. However, GNNs need to be retrained when dependency graphs are updated, for example, to recommend libraries for new projects, and are thus unwieldy for scalable deployment. To avoid retraining, we propose that recommendations can instead be
APA, Harvard, Vancouver, ISO, and other styles
7

Avuthu, Yogeswara Reddy. "Graph Neural Networks (GNN) for Code Dependency Vulnerability Detection." Journal of Artificial Intelligence & Cloud Computing 2, no. 1 (2023): 1–7. http://dx.doi.org/10.47363/jaicc/2023(2)e192.

Full text
Abstract:
Modern software development relies heavily on third-party libraries and external dependencies, leading to increasingly complex dependency graphs. Managing these dependencies is challenging, as vulnerabilities often arise from indirect or transitive dependencies that are difficult to detect using traditional security tools.
APA, Harvard, Vancouver, ISO, and other styles
8

KOHRING, G. A. "COMPLEX DEPENDENCIES IN LARGE SOFTWARE SYSTEMS." Advances in Complex Systems 12, no. 06 (2009): 565–81. http://dx.doi.org/10.1142/s0219525909002362.

Full text
Abstract:
Two large, open source software systems are analyzed from the vantage point of complex adaptive systems theory. For both systems, the full dependency graphs are constructed and their properties are shown to be consistent with the assumption of stochastic growth. In particular, the afferent links are distributed according to Zipf's law for both systems. Using the small-world criterion for directed graphs, it is shown that contrary to claims in the literature, these software systems do not possess small-world properties. Furthermore, it is argued that the small-world property is not of any parti
APA, Harvard, Vancouver, ISO, and other styles
9

Samodra, Bayu, Vebby Amelya Nora, Fitra Arifiansyah, Gusti Ayu Putri Saptawati Soekidjo, and Muhamad Koyimatu. "DEVELOPMENT OF GRAPH GENERATION TOOLS FOR PYTHON FUNCTION CODE ANALYSIS." JITK (Jurnal Ilmu Pengetahuan dan Teknologi Komputer) 10, no. 3 (2025): 690–97. https://doi.org/10.33480/jitk.v10i3.6177.

Full text
Abstract:
The increasing complexity of programs in software development requires understanding and analysis of code structure, especially in Python, which dominates machine learning and data science applications. Manual static analysis is often time-consuming and prone to errors. Meanwhile, static analysis tools for Python, like PyCG and Code2graph, are still limited to generating call graphs without including dependency and control flow analysis. This research addresses these shortcomings by proposing the development of a web-based tool that integrates the generation of function call graphs, function d
APA, Harvard, Vancouver, ISO, and other styles
10

Manoharan, Sathiamoorthy, and Peter Thanisch. "Assigning dependency graphs onto processor networks." Parallel Computing 17, no. 1 (1991): 63–73. http://dx.doi.org/10.1016/s0167-8191(05)80018-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Software Dependency Graphs"

1

Jaime, Damien. "Analysis and evolution of dependencies in software ecosystems." Electronic Thesis or Diss., Sorbonne université, 2025. http://www.theses.fr/2025SORUS088.

Full text
Abstract:
L'essor du logiciel libre et open source favorise le développement par réutilisation de bibliothèques logicielles disponibles au sein d'écosystèmes tels que celui de Java/Maven. Cette pratique offre des avantages, notamment en termes de temps de développement. Cependant, elle soulève aussi des problématiques de maintenance, renforcées par la présence de dépendances entre les bibliothèques elles-mêmes. Au-delà des dépendances directes d'un projet, il est crucial d'analyser l'ensemble de sa chaîne d'approvisionnement logicielle. Dans cette thèse, réalisée en collaboration avec un partenaire indu
APA, Harvard, Vancouver, ISO, and other styles
2

CHANG, RAY-YAUNG. "Discovering Neglected Conditions in Software by Mining Program Dependence Graphs." Case Western Reserve University School of Graduate Studies / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=case1218722056.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Costa, Wagner Silva. "Abordagens heurísticas aplicadas ao Problema da Alocação Dinâmica de Espaços." Universidade Federal da Paraí­ba, 2013. http://tede.biblioteca.ufpb.br:8080/handle/tede/6082.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:36:37Z (GMT). No. of bitstreams: 1 ArquivoTotalWagner.pdf: 1537495 bytes, checksum: 24391c06b84eb789a63789d66472a304 (MD5) Previous issue date: 2013-08-12<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The Dynamic Allocation Problem Spaces (DSAP) is recent literature, and was inspired by the need to minimize the distances between requested resources for the execution of activities in nuclear power plants. There are similarities of the problem with projects in which the movement of resources generates costs for the final planning, o
APA, Harvard, Vancouver, ISO, and other styles
4

Ngô, Van Chan. "Formal verification of a synchronous data-flow compiler : from Signal to C." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01067477.

Full text
Abstract:
Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents bo
APA, Harvard, Vancouver, ISO, and other styles
5

Sun, Boya. "PRECISION IMPROVEMENT AND COST REDUCTION FOR DEFECT MINING AND TESTING." Case Western Reserve University School of Graduate Studies / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=case1321827962.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zhang, Su. "Quantitative risk assessment under multi-context environments." Diss., Kansas State University, 2014. http://hdl.handle.net/2097/18634.

Full text
Abstract:
Doctor of Philosophy<br>Department of Computing and Information Sciences<br>Xinming Ou<br>If you cannot measure it, you cannot improve it. Quantifying security with metrics is important not only because we want to have a scoring system to track our efforts in hardening cyber environments, but also because current labor resources cannot administrate the exponentially enlarged network without a feasible risk prioritization methodology. Unlike height, weight or temperature, risk from vulnerabilities is sophisticated to assess and the assessment is heavily context-dependent. Existing vulnerabil
APA, Harvard, Vancouver, ISO, and other styles
7

Ibrahim, Ahmed Fakhri. "Cooperative Based Software Clustering on Dependency Graphs." Thesis, 2014. http://hdl.handle.net/10012/8543.

Full text
Abstract:
The organization of software systems into subsystems is usually based on the constructs of packages or modules and has a major impact on the maintainability of the software. However, during software evolution, the organization of the system is subject to continual modification, which can cause it to drift away from the original design, often with the effect of reducing its quality. A number of techniques for evaluating a system's maintainability and for controlling the effort required to conduct maintenance activities involve software clustering. Software clustering refers to the partit
APA, Harvard, Vancouver, ISO, and other styles
8

Mohamed, ATEF. "Software Architecture-Based Failure Prediction." Thesis, 2012. http://hdl.handle.net/1974/7538.

Full text
Abstract:
Depending on the role of software in everyday life, the cost of a software failure can sometimes be unaffordable. During system execution, errors may occur in system components and failures may be manifested due to these errors. These errors differ with respect to their effects on system behavior and consequent failure manifestation manners. Predicting failures before their manifestation is important to assure system resilience. It helps avoid the cost of failures and enables systems to perform corrective actions prior to failure occurrences. However, effective runtime error detection and fail
APA, Harvard, Vancouver, ISO, and other styles
9

"A Study of Backward Compatible Dynamic Software Update." Doctoral diss., 2015. http://hdl.handle.net/2286/R.I.36032.

Full text
Abstract:
abstract: Dynamic software update (DSU) enables a program to update while it is running. DSU aims to minimize the loss due to program downtime for updates. Usually DSU is done in three steps: suspending the execution of an old program, mapping the execution state from the old program to a new one, and resuming execution of the new program with the mapped state. The semantic correctness of DSU depends largely on the state mapping which is mostly composed by developers manually nowadays. However, the manual construction of a state mapping does not necessarily ensure sound and dependable state ma
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Software Dependency Graphs"

1

Enevoldsen, Søren, Kim Guldstrand Larsen, and Jiří Srba. "Model Verification Through Dependency Graphs." In Model Checking Software. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30923-7_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dalsgaard, Andreas Engelbredt, Søren Enevoldsen, Kim Guldstrand Larsen, and Jiří Srba. "Distributed Computation of Fixed Points on Dependency Graphs." In Dependable Software Engineering: Theories, Tools, and Applications. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47677-3_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mu, Chunyan. "Quantitative Program Dependence Graphs." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Silva, Josep, Salvador Tamarit, and César Tomás. "System Dependence Graphs in Sequential Erlang." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28872-2_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Palmskog, Karl, Ahmet Celik, and Milos Gligoric. "Practical Machine-Checked Formalization of Change Impact Analysis." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_9.

Full text
Abstract:
Abstract Change impact analysis techniques determine the components affected by a change to a software system, and are used as part of many program analysis techniques and tools, e.g., in regression test selection, build systems, and compilers. The correctness of such analyses usually depends both on domain-specific properties and change impact analysis, and is rarely established formally, which is detrimental to trustworthiness. We present a formalization of change impact analysis with machine-checked proofs of correctness in the Coq proof assistant. Our formal model factors out domain-specif
APA, Harvard, Vancouver, ISO, and other styles
6

Jensen, Peter Gjøl, Kim Guldstrand Larsen, Jiří Srba, and Nikolaj Jensen Ulrik. "Elimination of Detached Regions in Dependency Graph Verification." In Model Checking Software. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-32157-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kamyabi, Javad, Farzaneh Maleki, and Ashkan Sami. "Software Defect Prediction Using Transitive Dependencies on Software Dependency Graph." In Lecture Notes in Electrical Engineering. Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-2792-2_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Yuan, Xi Wang, Lintao Xian, and Zhongwen Guo. "STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph." In Model Checking Software. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30923-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ito, Souhei, Shigeki Hagihara, and Naoki Yonezaki. "An Operational Semantics of Program Dependence Graphs for Unstructured Programs." In Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-77505-8_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Nagrath, Vineet, and Christian Schlegel. "Run-Time Dependency Graph Models for Independently Developed Robotic Software Components." In Lecture Notes in Networks and Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10464-0_62.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Software Dependency Graphs"

1

Çakir, Şevket Umut, Mehmet Ali Osman Atik, and Ümit Deniz Uluşar. "Community Detection on Software Library Dependency Graphs using Graph Neural Networks." In 2024 9th International Conference on Computer Science and Engineering (UBMK). IEEE, 2024. https://doi.org/10.1109/ubmk63289.2024.10773551.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jaime, Damien, Joyce El Haddad, and Pascal Poizat. "Navigating and Exploring Software Dependency Graphs Using Goblin." In 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR). IEEE, 2025. https://doi.org/10.1109/msr66628.2025.00029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tran-Girard, Euxane, Laurent Bulteau, and Pierre-Yves David. "CARDS: A collection of package, revision, and miscellaneous dependency graphs." In 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR). IEEE, 2025. https://doi.org/10.1109/msr66628.2025.00103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hong, Weijie, Yong Yang, Junqi Wu, et al. "NICSDG: A Non-Intrusive Approach to Constructing Concise Service Dependency Graphs for Microservice Systems." In 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2024. https://doi.org/10.1109/issrew63542.2024.00051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Haratian, Vahid, Pouria Derakhshanfar, Vladimir Kovalenko, and Eray Tüzün. "RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph Extraction." In 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR). IEEE, 2025. https://doi.org/10.1109/msr66628.2025.00078.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Refolli, Francesco, Darius Sas, and Francesca Fontana. "Lessons Learned from Implementing a Language-Agnostic Dependency Graph Parser." In 20th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013277600003928.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Yu, Haibo, and Jianjun Zhao. "The Quantum Program Dependence Graph and its uses in Quantum Software Development." In 2025 IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2025. https://doi.org/10.1109/q-se66736.2025.00014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Biagiotti, Stephen F. "Effect of Temperature on Ultrasonic Velocity in Steel." In CORROSION 1997. NACE International, 1997. https://doi.org/10.5006/c1997-97259.

Full text
Abstract:
Abstract The increased mechanical integrity requirements imposed by process safety management regulations (OSHA 29 CFR 1910.119) are forcing more operators to conduct on-stream corrosion monitoring inspections. These inspections rely predominantly on the results of ultrasonic thickness (UT) measurements, which in turn are managed by using commercial software databases. UT equipment vendors such as Krautkramer Branson recommend correcting measured thickness values −0.5% per 100°F (55°C), whereas ASTM E797 recommends a −1% per 100°F (55°C) correction for carbon steel materials. However, little t
APA, Harvard, Vancouver, ISO, and other styles
9

Kalhauge, Christian Gram, and Jens Palsberg. "Binary reduction of dependency graphs." In ESEC/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 2019. http://dx.doi.org/10.1145/3338906.3338956.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ma, Qin, and Pierre Kelsen. "Decomposing Models Through Dependency Graphs." In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. http://dx.doi.org/10.1109/tase.2018.00026.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Software Dependency Graphs"

1

Madhur, Srinivasa. Cambodia’s Skill Gap: An Anatomy of Issues and Policy Options. Cambodia Development Resource Institute, 2014. https://doi.org/10.64202/wp.98.201408.

Full text
Abstract:
There is growing consensus that an emerging skill gap could impose human costs and constraints on Cambodia’s economic growth and development. The country is facing a shortage of skilled human resources even for low-to-medium skill intensive industries. There is a widening gap between the skills that industries and businesses need and what the education institutions, whether academic or vocational training, are producing. Cambodia’s skill gap is emerging at a time when the Association of Southeast Asian Nations (ASEAN) is preparing to launch the ASEAN Economic Community (AEC) in 2015. The AEC w
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!