Bibliographies thématiques / Software Dependency Graphs

Sommaire

Articles de revues
Thèses
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Software Dependency Graphs »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Software Dependency Graphs ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Software Dependency Graphs"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Software Dependency Graphs"

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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 Coordenação de Aperfeiçoamento de Pessoal de Nível Superior 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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

Doctor of Philosophy Department of Computing and Information Sciences Xinming Ou 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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Software Dependency Graphs"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Software Dependency Graphs"

Ç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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Software Dependency Graphs"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!