Auswahl der wissenschaftlichen Literatur zum Thema „Static tool“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Static tool" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Static tool"
Thomson, Patrick. „Static Analysis: An Introduction“. Queue 19, Nr. 4 (31.08.2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.
Der volle Inhalt der QuelleImbert, C. A. C., und H. J. McQueen. „Static Recrystallization of Tool Steels“. Materials Science Forum 539-543 (März 2007): 4458–63. http://dx.doi.org/10.4028/www.scientific.net/msf.539-543.4458.
Der volle Inhalt der QuelleMilind Shinde, Mrunmayee, und A. S. Rao. „Static collision detection using visualization tool“. Materials Today: Proceedings 5, Nr. 13 (2018): 27220–24. http://dx.doi.org/10.1016/j.matpr.2018.09.035.
Der volle Inhalt der QuelleTiganov, Daniil, Lisa Nguyen Quang Do und Karim Ali. „Designing UIs for Static Analysis Tools“. Queue 19, Nr. 4 (31.08.2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.
Der volle Inhalt der QuelleDewar, Robert B. K. „The compiler as a static analysis tool“. ACM SIGAda Ada Letters XXVII, Nr. 3 (17.11.2007): 83–88. http://dx.doi.org/10.1145/1315607.1315601.
Der volle Inhalt der QuelleKoshelev, V. K., V. N. Ignatiev, A. I. Borzilov und A. A. Belevantsev. „SharpChecker: Static analysis tool for C# programs“. Programming and Computer Software 43, Nr. 4 (Juli 2017): 268–76. http://dx.doi.org/10.1134/s0361768817040041.
Der volle Inhalt der QuelleGawade, Makarand, K. Ravikanth und Sanjeev Aggarwal. „Constantine: configurable static analysis tool in Eclipse“. Software: Practice and Experience 44, Nr. 5 (07.12.2012): 537–63. http://dx.doi.org/10.1002/spe.2173.
Der volle Inhalt der QuelleWang, Han, Tianjian Li, Xizhi Sun, Diane Mynors und Tao Wu. „Optimal Design Method for Static Precision of Heavy-Duty Vertical Machining Center Based on Gravity Deformation Error Modelling“. Processes 10, Nr. 10 (24.09.2022): 1930. http://dx.doi.org/10.3390/pr10101930.
Der volle Inhalt der QuelleGuo, Ting Ting, Teng Jiao Sun und Fang Shao. „Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool“. Applied Mechanics and Materials 543-547 (März 2014): 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.
Der volle Inhalt der QuelleZaus, Mahesi Agni, Rizky Ema Wulansari, Syaiful Islami und Doni Pernanda. „Perancangan Media Pembelajaran Listrik Statis dan Dinamis Berbasis Android“. INTECOMS: Journal of Information Technology and Computer Science 1, Nr. 1 (13.03.2018): 1–7. http://dx.doi.org/10.31539/intecoms.v1i1.140.
Der volle Inhalt der QuelleDissertationen zum Thema "Static tool"
Tao, Hongjing. „Static analyzer, a design tool for TROM“. Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0002/MQ44886.pdf.
Der volle Inhalt der QuelleMorgenthaler, John David. „Static analysis for a software transformation tool /“. Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9804509.
Der volle Inhalt der QuelleDutko, Adam M. „THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?“ Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.
Der volle Inhalt der QuelleBaca, Dejan. „Automated static code analysis : A tool for early vulnerability detection“. Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.
Der volle Inhalt der QuelleEads, Joshua Michael. „EtherAnnotate: a transparent malware analysis tool for integrating dynamic and static examination“. Diss., Rolla, Mo. : Missouri University of Science and Technology, 2010. http://scholarsmine.mst.edu/thesis/pdf/Eads_09007dcc807a2d75.pdf.
Der volle Inhalt der QuelleVita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2010) Includes bibliographical references (p. 65-68).
Gustafson, Christopher, und Sam Florin. „Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry“. Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277941.
Der volle Inhalt der QuelleInom flygindustrin är användandet av olika programmeringsverktyg inte lika självklart som inom andra industrier. På grund av de katastrofala konsekvenser som fel i mjukvaran i ett flygplan kan resultera i finns det rigorösa krav på mjukvaruutvecklingsprocessen. Ett av dessa krav är att en viss kodstandard måste upprätthållas. Kodstandarder används för att exkludera vissa strukturer i kod som kan leda till oönskat beteende. Upprätthållandet av en viss kodstandard är en långdragen process att genomföra manuellt, och kan därför automatiseras med hjälp av ett statiskt kodanalysverktyg. För att kunna använda ett sådant verktyg behövs däremot en formell verktygskvalificering. I denna uppsats kommer kvalificeringsprocessen av ett verktyg för statisk kodanalys att evalueras enligt de krav som de två stora flygmyndigheterna EASA och FAA ställer. För att förklara processen av att kvalificera ett sådant verktyg gjordes en litteraturstudie följt av en fallstudie av det existerande verktyget Parasoft C/C++ test. Resultaten av litteraturstudien beskriver de olika processerna som måste genomföras för att kvalificera ett statiskt kodanalysverktyg. Noterbart är att resultaten visar att inga krav ställs på utvecklingsprocessen av verktyget själv. Detta betyder att ett existerande kommersiellt verktyg kan kvalificeras utan att verktygsutvecklarna själva behöver bidra med extra information. Fallstudien visade hur verktyget Parasoft C/C++ test kan konfigureras och verifieras att följa en viss kodstandard. Vidare resulterade fallstudien i utkast av de nödvändiga dokumenten som behöver produceras för att kommunicera kvalificeringsprocessen till en myndighet. De resultat som presenteras i denna uppsats är i sig inte tillräckliga för beskriva hela kvalificeringsprocessen. Ytterligare överväganden som är specifika till den mjukvaran som verktyget ska användas till att utveckla måste göras för att en komplett kvalificering ska kunna genomföras. Uppsatsen bidrar däremot med riktlinjer och vägledning av majoriteten av de processerna som behöver genomföras. Ytterligare forskning kan göras för att bidra med den kompletta bilden av verktygskvalificering av ett statiskt kodanalysverktyg, samt hur kvalificering kan göras av andra typer av verktyg.
Al, Awadi Wali. „An Assessment of Static and Dynamic malware analysis techniques for the android platform“. Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2015. https://ro.ecu.edu.au/theses/1635.
Der volle Inhalt der QuelleWoods, Brian Keith. „Development of an active pulsed radar receiver for a mono-static borehole-radar tool“. Thesis, Stellenbosch : University of Stellenbosch, 2003. http://hdl.handle.net/10019.1/2512.
Der volle Inhalt der QuelleSilva, Antonio Carlos Fernandes da. „ChipCflow: tool for convert C code in a static dataflow architecture in reconfigurable hardware“. Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-141638/.
Der volle Inhalt der QuelleExiste uma crescente busca por softwares e arquiteturas alternativas. Essa busca acontece pois houveram avanços na tecnologia do hardware, e estes avanços devem ser complementados por inovações nas metodologias de projetos, testes e verificação para que haja um uso eficaz da tecnologia. Os software e arquiteturas alternativas, geralmente são modelos que exploram o paralelismo das aplicações, ao contrário do modelo de Von Neumann. Dentre as arquiteturas alternativas de alto desempenho, tem-se a arquitetura a fluxo de dados. Nesse tipo de arquitetura, o processo de execução de programas é determinado pela disponibilidade dos dados, logo o paralelismo está embutido na própria natureza do sistema. O modelo a fluxo de dados possui a vantagem de expressar o paralelismo de maneira intrínseca, eliminando a necessidade do programador explicitar em seu código os trechos onde deve haver paralelismo. As arquiteturas a fluxo de dados voltaram a ser uma área de pesquisa devido aos avanços do hardware, em particular, os avanços da Computação Reconfigurável e dos Field Programmable Gate Arrays (FPGAs).Nesta tese é descrita uma ferramenta de conversão de código que visa a geração de aplicações utilizando uma arquitetura a fluxo de dados estática. Também é descrito o projeto ChipCflow, cuja ferramenta de conversão de código, descrita nesta tese, é parte integrante. A especificação do algoritmo a ser convertido é feita em linguagem C e convertida para uma linguagem de descrição de hardware, respeitando o modelo proposto pelo ChipCflow. Os resultados alcançados visam a prova de conceito da conversão de código de uma linguagem de alto nível para uma arquitetura a fluxo de dados a ser configurada em FPGA.
Hubert, Laurent. „Foundations and implementation of a tool bench for static analysis of Java bytecode programs“. Rennes 1, 2010. http://www.theses.fr/2010REN1S122.
Der volle Inhalt der QuelleDans cette thèse, nous nous intéressons à l’analyse statique du bytecode Java. L’initialisation d’un système d’information est une phase délicate où des propriétés de sécurité sont vérifiées et des invariants installés. L’initialisation en Java pose des difficultés, que ce soit pour les champs, les objets ou les classes. De ces difficultés peuvent résulter des failles de sécurité, des erreurs d’exécution (bugs), ou une plus grande difficulté à valider statiquement ces logiciels. Cette thèse propose des analyses statiques répondant aux problèmes d’initialisation de champs, d’objets et de classes. Ainsi, nous décrivons une analyse de pointeurs nuls qui suit finement l’initialisation des champs et permet de prouver l’absence d’exception de pointeur nuls (NullPointerException) et de raffiner le graphe de flot de contrôle intra-procédural. Nous proposons aussi une analyse pour raffiner le graphe de flot de contrôle inter-procédural liée à l’initialisation de classe et permettant de modéliser plus finement le contenu des champs statiques. Enfin, nous proposons un système de type permettant de garantir que les objets manipulés sont complètement initialisés, et offrant ainsi une solution formelle et automatique à un problème de sécurité connu. Les fondations sémantiques de ces analyses sont données. Les analyses sont décrites formellement et prouvées correctes. Pour pouvoir adapter ces analyses, formalisées sur de petits langages, au bytecode, nous avons développé une bibliothèque logicielle. Elle nous a permis de produire des prototypes efficaces gérant l’intégralité du bytecode Java
Bücher zum Thema "Static tool"
United States. Internal Revenue Service. Ogden Service Center. Career Counseling Cadre. Managers' tool for career path counseling. Washington, D.C.?]: Department of the Treasury, Internal Revenue Service, 1991.
Den vollen Inhalt der Quelle findenUnited States. Dept. of Commerce. Office of Acquisition Management., Hrsg. Annual performance management assessment tool (PMAT) report. [Washington, D.C.]: U.S. Dept. of Commerce, Office of Acquisition Management, 1998.
Den vollen Inhalt der Quelle findenAdaskin, Anatoliy. Instrumental materials in mechanical engineering. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1870562.
Der volle Inhalt der QuelleUnited States. General Accounting Office. RCED., Hrsg. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Den vollen Inhalt der Quelle findenUnited States. General Accounting Office. RCED, Hrsg. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Den vollen Inhalt der Quelle findenUnited States. General Accounting Office. RCED., Hrsg. A superfund tool for more efficient cleanups. Washington, D.C: The Office, 1996.
Den vollen Inhalt der Quelle findenSheila, Martin. The effectiveness of state technology incentives: Evidence from the machine tool industry. Ames, Iowa: Center for Agricultural and Rural Development, Iowa State University, 1994.
Den vollen Inhalt der Quelle findenPetrova, Inga. Digital technologies as a financial control tool. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.
Der volle Inhalt der QuelleUnited States. Environmental Protection Agency. Office of Research and Development. ORD information tools. [Washington, D.C.?]: U.S. Environmental Protection Agency, Research and Development, 1987.
Den vollen Inhalt der Quelle findenNewby, Claude. It Took Heroes. New York: Random House Publishing Group, 2009.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Static tool"
Imbert, C. A. C., und H. J. McQueen. „Static Recrystallization of Tool Steels“. In THERMEC 2006, 4458–63. Stafa: Trans Tech Publications Ltd., 2007. http://dx.doi.org/10.4028/0-87849-428-6.4458.
Der volle Inhalt der QuelleNordin, Magnus, Thomas Lindgren und Håkan Millroth. „IGOR: A tool for developing Prolog dataflow analyzers“. In Static Analysis, 420–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.
Der volle Inhalt der QuelleNielson, Flemming. „Semantics-directed program analysis: A tool-maker's perspective“. In Static Analysis, 2–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.
Der volle Inhalt der QuelleFecht, Christian. „GENA — A tool for generating Prolog analyzers from specifications“. In Static Analysis, 418–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.
Der volle Inhalt der QuelleBesson, Frédéric, Thomas Jensen und Pierre Vittet. „SawjaCard: A Static Analysis Tool for Certifying Java Card Applications“. In Static Analysis, 51–67. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.
Der volle Inhalt der QuelleSpoto, Fausto. „Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses“. In Static Analysis, 127–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.
Der volle Inhalt der QuelleHall, Robert J. „Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges“. In Static Analysis, 2. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.
Der volle Inhalt der QuellePonce-de-León, Hernán, Florian Furbach, Keijo Heljanko und Roland Meyer. „Portability Analysis for Weak Memory Models porthos: One Tool for all Models“. In Static Analysis, 299–320. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.
Der volle Inhalt der QuelleKalnina, Elina, und Audris Kalnins. „DSL Tool Development with Transformations and Static Mappings“. In Models in Software Engineering, 356–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01648-6_37.
Der volle Inhalt der QuelleBardsley, Ethel, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew und Shaz Qadeer. „Engineering a Static Verification Tool for GPU Kernels“. In Computer Aided Verification, 226–42. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08867-9_15.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Static tool"
Chiang, Jim, Allison Stephens und Jim Potvin. „Retooling Jack’s Static Strength Prediction Tool“. In 2006 Digital Human Modeling for Design and Engineering Conference. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2006. http://dx.doi.org/10.4271/2006-01-2350.
Der volle Inhalt der QuelleImashev, Alfarabi. „Sign Language Static Gestures Recognition Tool Prototype“. In 2017 IEEE 11th International Conference on Application of Information and Communication Technologies (AICT). IEEE, 2017. http://dx.doi.org/10.1109/icaict.2017.8687032.
Der volle Inhalt der QuelleDewar, Robert B. K. „The compiler as a static analysis tool“. In the 2007 ACM international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.
Der volle Inhalt der QuelleNoman, Haitham Ameen, Qusay Al-Maatouk und Sinan Ameen Noman. „A Static Analysis Tool for Malware Detection“. In 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.
Der volle Inhalt der QuelleKhulape, Vishal D., Vijay N. Patil und Vinay Sharma. „Improved Static Timing Path Analyzer for DSCH Tool“. In 2017 International Conference on Computing, Communication, Control and Automation (ICCUBEA). IEEE, 2017. http://dx.doi.org/10.1109/iccubea.2017.8463706.
Der volle Inhalt der QuelleNewman, Christian D., Jonathan I. Maletic und Michael L. Collard. „srcType: A Tool for Efficient Static Type Resolution“. In 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2016. http://dx.doi.org/10.1109/icsme.2016.38.
Der volle Inhalt der QuelleShah, Bhasha M., und Usha Mehta. „Development of Static Timing Analysis Tool in Perl“. In 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.
Der volle Inhalt der QuelleHarrison, Warren. „An extensible static analysis tool for COBOL programs“. In the 15th annual conference. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.
Der volle Inhalt der QuelleImtiaz, Nasif, Akond Rahman, Effat Farhana und Laurie Williams. „Challenges with Responding to Static Analysis Tool Alerts“. In 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. http://dx.doi.org/10.1109/msr.2019.00049.
Der volle Inhalt der QuelleLi, Junjie, und Jinqiu Yang. „StaticTracker: A Diff Tool for Static Code Warnings“. In 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 2023. http://dx.doi.org/10.1109/icsme58846.2023.00074.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Static tool"
Okun, vadim, Romain Gaucher und Paul E. Black. Static analysis tool exposition (SATE) 2008. Gaithersburg, MD: National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.
Der volle Inhalt der QuelleOgata, Michael. Static Analysis Tool Exposition (SATE) VI:. Gaithersburg, MD: National Institute of Standards and Technology, 2023. http://dx.doi.org/10.6028/nist.ir.8462.
Der volle Inhalt der QuelleOkun, vadim, Aurelien Delaitre und Paul E. Black. The second static analysis tool exposition (SATE) 2009. Gaithersburg, MD: National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.
Der volle Inhalt der QuelleOkun, Vadim, Aurelien Delaitre und Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, Januar 2013. http://dx.doi.org/10.6028/nist.sp.500-297.
Der volle Inhalt der QuelleOkun, vadim, Aurelien Delaitre und Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). Gaithersburg, MD: National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.
Der volle Inhalt der QuelleDelaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro und Terry S. Cohen. SATE V report: ten years of static analysis tool expositions. Gaithersburg, MD: National Institute of Standards and Technology, Oktober 2018. http://dx.doi.org/10.6028/nist.sp.500-326.
Der volle Inhalt der QuelleChen. PR-224-03158-R01 Static and Cyclic Surface Loading on the Performance of Welds in Pre-1970 Pipelines. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), August 2009. http://dx.doi.org/10.55274/r0010973.
Der volle Inhalt der QuelleTidd, Alexander N., Richard A. Ayers, Grant P. Course und Guy R. Pasco. Scottish Inshore Fisheries Integrated Data System (SIFIDS): work package 6 final report development of a pilot relational data resource for the collation and interpretation of inshore fisheries data. Herausgegeben von Mark James und Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23452.
Der volle Inhalt der QuelleBryndum. L51854 Integrity Assessment Models-Software for Exposed and Unburied Pipelines in River Channels. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), Februar 2000. http://dx.doi.org/10.55274/r0011225.
Der volle Inhalt der QuelleKiianovska, N. M. The development of theory and methods of using cloud-based information and communication technologies in teaching mathematics of engineering students in the United States. Видавничий центр ДВНЗ «Криворізький національний університет», Dezember 2014. http://dx.doi.org/10.31812/0564/1094.
Der volle Inhalt der Quelle