Log in

Relevant bibliographies by topics / Static Analysis Tool

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Static Analysis Tool'

Author: Grafiati

Published: 10 March 2023

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 'Static Analysis Tool.'

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 "Static Analysis Tool"

1

Thomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Full text

Abstract:

Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a powerful tool for searching, analyzing, and rewriting C source code; because the Linux kernel contains more than 27 million lines of code, a static-analysis tool is essential both for finding bugs and for making automated changes across its many libraries and modules. Another tool targeted at the C family of languages is Clang scan-build, which comes with many useful analyses and provides an API for programmers to write their own analyses. Like so many

APA, Harvard, Vancouver, ISO, and other styles

2

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for Static Analysis Tools." Queue 19, no. 4 (2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Full text

Abstract:

Static-analysis tools suffer from usability issues such as a high rate of false positives, lack of responsiveness, and unclear warning descriptions and classifications. Here, we explore the effect of applying user-centered approach and design guidelines to SWAN, a security-focused static-analysis tool for the Swift programming language. SWAN is an interesting case study for exploring static-analysis tool usability because of its large target audience, its potential to integrate easily into developers' workflows, and its independence from existing analysis platforms.

APA, Harvard, Vancouver, ISO, and other styles

3

Dewar, Robert B. K. "The compiler as a static analysis tool." ACM SIGAda Ada Letters XXVII, no. 3 (2007): 83–88. http://dx.doi.org/10.1145/1315607.1315601.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Koshelev, V. K., V. N. Ignatiev, A. I. Borzilov, and A. A. Belevantsev. "SharpChecker: Static analysis tool for C# programs." Programming and Computer Software 43, no. 4 (2017): 268–76. http://dx.doi.org/10.1134/s0361768817040041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Gawade, Makarand, K. Ravikanth, and Sanjeev Aggarwal. "Constantine: configurable static analysis tool in Eclipse." Software: Practice and Experience 44, no. 5 (2012): 537–63. http://dx.doi.org/10.1002/spe.2173.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

LIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG, and Qian-Xiang WANG. "A Semi-Automatic Extensible Static Defect Analysis Tool." Chinese Journal of Computers 34, no. 6 (2011): 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Anderson, Paul. "Measuring the Value of Static-Analysis Tool Deployments." IEEE Security & Privacy Magazine 10, no. 3 (2012): 40–47. http://dx.doi.org/10.1109/msp.2012.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for static-analysis tools." Communications of the ACM 65, no. 2 (2022): 52–58. http://dx.doi.org/10.1145/3486600.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Guo, Ting Ting, Teng Jiao Sun, and Fang Shao. "Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool." Applied Mechanics and Materials 543-547 (March 2014): 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.

Full text

Abstract:

Taking a grinding machine tool as an example, this paper obtained the static stiffness of the machine tool by finite element analysis method. The structure and technical parameters of the machine tool were introduced at first.Then, the finite element model of the machine tool was established. The static stiffness of the machine tool in x-, y-, and z-directions were simulated at last. The results show that, the static stiffness in x-direction is 2.0062×107 N/m, the static stiffness in y-direction is 0.821×107 N/m, and the static stiffness in z-direction is 0.2992×107 N/m. This paper provides ad

APA, Harvard, Vancouver, ISO, and other styles

10

Peng, Rui Tao, Wang Yan, Xin Zi Tang, and Zhuan Zhou. "Dynamic Characteristics Analysis and Structural Topology Optimization of the Plane Grinder." Key Engineering Materials 693 (May 2016): 471–78. http://dx.doi.org/10.4028/www.scientific.net/kem.693.471.

Full text

Abstract:

The dynamic characteristic is one of the important indicators which determine the performance of a machine tool, in this paper, the finite element model of a plane grinder is established with consideration of the behavior of joint, the static dynamic characteristics of machine tools are analyzed to reveal the vibration weak link, the column structure is topology optimized and redesigned based on the variable density degradation method. Static and dynamic characteristics of the original and new column are compared, and the dynamic characteristics of the machine tool before and after modificatio

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Static Analysis Tool"

1

Morgenthaler, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Baca, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gustafson, Christopher, and 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.

Full text

Abstract:

In the aviation industry, the use of software development tools is not as easily adopted as in other industries. Due to the catastrophic consequences of software errors in airborne systems, software development processes has rigorous requirements. One of these requirements is that a code standard must be followed. Code standards are used to exclude code constructions which could result in unwanted behaviours. The process of manually ensuring a specific code standard can be costly. This process could be automated by a tool for static code analysis, however, this requires a formal qualification.

APA, Harvard, Vancouver, ISO, and other styles

5

Eads, 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.

Full text

Abstract:

Thesis (M.S.)--Missouri University of Science and Technology, 2010.<br>Vita. 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).

APA, Harvard, Vancouver, ISO, and other styles

6

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.

Full text

Abstract:

With Smartphones becoming an increasingly important part of human life, the security of these devices is very much at stake. The versatility of these phones and their associated applications has fostered an increasing number of mobile malware attacks. The purpose of the research was to answer the following research questions: 1. What are the existing methods for analysing mobile malware? 2. How can methods for analysing mobile malware be evaluated? 3. What would comprise a suitable test bed(s) for analysing mobile malware? The research analyses and compares the various tools and methods availa

APA, Harvard, Vancouver, ISO, and other styles

7

Hubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.

Full text

Abstract:

In this thesis we study the static analysis of Java bytecode and its semantics foundations. The initialization of an information system is a delicate operation where security properties are enforced and invariants installed. Initialization of fields, objects and classes in Java are difficult operations. These difficulties may lead to security breaches and to bugs, and make the static verification of software more difficult. This thesis proposes static analyses to better master initialization in Java. Hence, we propose a null pointer analysis that finely tracks initialization of fields. It allo

APA, Harvard, Vancouver, ISO, and other styles

8

Gebhard, Gernot [Verfasser], and Reinhard [Akademischer Betreuer] Wilhelm. "Static timing analysis tool validation in the presence of timing anomalies / Gernot Gebhard. Betreuer: Reinhard Wilhelm." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013. http://d-nb.info/1053679947/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Lerner, Harry 1969. "Static types to dynamic variables : re-assessing the methods of prehistoric Huron chipped stone tool documentation and analysis in Ontario." Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33298.

Full text

Abstract:

An assemblage of prehistoric Huron chipped stone tools has been analyzed in terms of its inherently dynamic properties. It is hypothesized that the series of measurements and ratios that has been developed is more efficient than existing systems for gauging the changing nature of these implements over time. The statistical evaluation of the data revealed strong linear relationships between various pairs of variables, such as projectile point length and tip angle and end scraper bit edge angles and bit height. It was found that comparing these data to other attributes of these tools, such as us

APA, Harvard, Vancouver, ISO, and other styles

10

Hameed, Muhammad Muzaffar, and Muhammad Zeeshan ul Haq. "DefectoFix : An interactive defect fix logging tool." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5268.

Full text

Abstract:

Despite the large efforts made during the development phase to produce fault free system, most of the software implementations still require the testing of entire system. The main problem in the software testing is the automation that could verify the system without manual intervention. Recent work in software testing is related to the automated fault injection by using fault models from repository. This requires a lot of efforts, which adds to the complexity of the system. To solve this issue, this thesis suggests DefectoFix framework. DefectoFix is an interactive defect fix logging tools tha

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Static Analysis Tool"

1

Arena, Mark V. Shipbuilding & force structure analysis tool: A user's guide ; prepared for the U.S. Navy. RAND, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Petrova, Inga. Digital technologies as a financial control tool. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.

Full text

Abstract:

The textbook reveals the concept and meaning of digital technologies, the legal nature of information interaction in the implementation of control measures based on general theoretical concepts and regulatory legal acts. Special attention is paid to the types of information systems used in the control process in the financial and budgetary sphere. The necessity of creating information systems based on international experience, global indices and rules of the Organization for Economic Cooperation and Development (OECD) is justified. The article defines the specific characteristics of the state

APA, Harvard, Vancouver, ISO, and other styles

3

Nikiforova, Elena, Lyudmila Kupriyanova, Viktor Shnayder, et al. Management analysis. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1414397.

Full text

Abstract:

The textbook reveals the role and importance of management analysis in the formation of the strategy and tactics of organization management, taking into account the industry specifics of the functioning of economic entities in the production sector, the conceptual apparatus of management analysis; describes the main approaches to information support; presents applied tools and practical situations aimed at ensuring the financial stability of business, describes approaches to assessing the effectiveness of entrepreneurial activity based on alternative management solutions adequate to current re

APA, Harvard, Vancouver, ISO, and other styles

4

Dmitrieva, Ol'ga. Accounting, analysis and audit of operations with securities. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1048787.

Full text

Abstract:

The textbook describes the procedure of maintenance of accounting and tax accounting transactions with underlying securities (shares, bonds, bills of exchange) to organizations that are not professional participants of the securities market. Describes the methodology and fundamental analysis of the stock and methods used to estimate their fair value. It considers the basic tools of technical analysis of the securities market. Disclosed method of analysis of debt securities. The method of audit of operations with securities. Meets the requirements of Federal state educational standards of

APA, Harvard, Vancouver, ISO, and other styles

5

Nikiforova, Elena, Marina Borovickaya, Lyudmila Kupriyanova, Ol'ga Shnayder, Aleksandr Petrov, and Sergey Bank. Analysis of financial statements. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1839710.

Full text

Abstract:

The textbook reveals the role and importance of financial reporting in the formation of the strategy and tactics of management of an organization, taking into account the specifics of the functioning of economic entities in the production sector, the main approaches to information support; presents applied tools and practical situations aimed at generating reliable data in financial statements; describes approaches to assessing the data of financial statements of economic entities. Meets the requirements of the federal state educational standards of higher education of the latest generat

APA, Harvard, Vancouver, ISO, and other styles

6

Contemporary lithic analysis in the Southeast: Problems, solutions, and interpretations. University of Alabama Press, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ryzhikova, tamara. Marketing in the aerospace field. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1003199.

Full text

Abstract:

The tutorial provides an overview of the main methodological approaches to the analysis of the market of rocket and space technology and services on the basis of its specific features, methods of evaluating competition and its justification, the reinterpretation of basic marketing tools and approaches in combination with innovative ideas and methods of achieving high economic results in the space market. The main aim is to provide future marketers with the necessary material, methods, technologies and tools with which to solve various problems related to the understanding of the structur

APA, Harvard, Vancouver, ISO, and other styles

8

Krekotnev, Sergey. State policy in relation to cities and regions with mono-specialization: experience and priorities. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1098273.

Full text

Abstract:

The monograph analyzes the policy in relation to cities and regions with monospecialization as one of the priority directions of state policy. The article considers the specifics of single-industry cities and regions as socio-political phenomena and objects of state regulation. The main principles, directions, mechanisms and tools for the implementation of state policy in relation to single-profile spatial formations are studied. Special attention is paid to the political and comparative analysis of foreign and domestic experience in the formation and implementation of this direction of state

APA, Harvard, Vancouver, ISO, and other styles

9

Chernysheva, Yuliya. Analysis and diagnostics of financial-economic activity of enterprise(organization). INFRA-M Academic Publishing LLC., 2017. http://dx.doi.org/10.12737/24681.

Full text

Abstract:

The textbook contains the main elements of the methodology for diagnostics and analysis of financial and economic activities of the organization. The chapters of the textbook consider the role, significance, types, methods of analysis of financial and economic activities of the organization, its mathematical tools, the history and new directions of analysis of the organization's activities in Russian and foreign analytical practice, as well as methods for analyzing the volume of production, sales and cost of production, the analysis of security and use of material and labor resources, fixed as

APA, Harvard, Vancouver, ISO, and other styles

10

Averin, Aleksandr, Yu Baltgaylis, B. Svagzhdene, and V. Grigor'eva. Improving the effectiveness of regional economic policy in the field of support and development of small business. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1846180.

Full text

Abstract:

The monograph consists of an introduction, three chapters, conclusion and appendices, as well as a list of references. The first chapter substantiates theoretical approaches to the essence, conditions and factors of ensuring the sustainable development of small business in modern socio-economic conditions. The factors influencing the development of small business, methodological approaches and indicators for assessing the effectiveness of economic policy for the sustainable development of small business are considered. The second chapter analyzes the international experience of the

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Static Analysis Tool"

1

Nordin, Magnus, Thomas Lindgren, and Håkan Millroth. "IGOR: A tool for developing Prolog dataflow analyzers." In Static Analysis. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Nielson, Flemming. "Semantics-directed program analysis: A tool-maker's perspective." In Static Analysis. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Fecht, Christian. "GENA — A tool for generating Prolog analyzers from specifications." In Static Analysis. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Besson, Frédéric, Thomas Jensen, and Pierre Vittet. "SawjaCard: A Static Analysis Tool for Certifying Java Card Applications." In Static Analysis. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Spoto, Fausto. "Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hall, Robert J. "Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges." In Static Analysis. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ponce-de-León, Hernán, Florian Furbach, Keijo Heljanko, and Roland Meyer. "Portability Analysis for Weak Memory Models porthos: One Tool for all Models." In Static Analysis. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

von Maltitz, Marcel, Cornelius Diekmann, and Georg Carle. "Privacy Assessment Using Static Taint Analysis (Tool Paper)." In Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60225-7_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kama, Nazri, Saiful Adli Ismail, Kamilia Kamardin, Norziha Megat Zainuddin, Azri Azmi, and Wan Shafiuddin Zainuddin. "A Change Impact Analysis Tool: Integration Between Static and Dynamic Analysis Techniques." In Communications in Computer and Information Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22689-7_32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Amato, Gianluca, Maurizio Parton, and Francesca Scozzari. "A Tool Which Mines Partial Execution Traces to Improve Static Analysis." In Runtime Verification. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16612-9_37.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Static Analysis Tool"

1

Noman, Haitham Ameen, Qusay Al-Maatouk, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dewar, Robert B. K. "The compiler as a static analysis tool." In the 2007 ACM international conference. ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Shah, Bhasha M., and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Harrison, Warren. "An extensible static analysis tool for COBOL programs." In the 15th annual conference. ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Imtiaz, Nasif, Akond Rahman, Effat Farhana, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Nair, Sreeja, Raoul Jetley, Anil Nair, and Stefan Hauck-Stattelmann. "A static code analysis tool for control system software." In 2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2015. http://dx.doi.org/10.1109/saner.2015.7081856.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Dariz, Luca, Massimiliano Ruggeri, and Michele Selvatici. "A static microcode analysis tool for programmable load drivers." In 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2015. http://dx.doi.org/10.1109/scam.2015.7335424.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Khatiwada, Saket, Michael Kelly, and Anas Mahmoud. "STAC: A tool for Static Textual Analysis of Code." In 2016 IEEE 24th International Conference on Program Comprehension (ICPC). IEEE, 2016. http://dx.doi.org/10.1109/icpc.2016.7503746.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Guinde, Nitesh B., Xin Tang, Ronak Sutaria, Sotirios G. Ziavras, and Constantine N. Manikopoulos. "FPGA-based static analysis tool for detecting malicious binaries." In 2nd International Conference on Computer and Automation Engineering (ICCAE 2010). IEEE, 2010. http://dx.doi.org/10.1109/iccae.2010.5451703.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jianping Cai and Ximin Yang. "Implementation of migration based on static analysis tool OINK." In 2010 2nd International Conference on Information Science and Engineering (ICISE). IEEE, 2010. http://dx.doi.org/10.1109/icise.2010.5690419.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Static Analysis Tool"

1

Okun, vadim, Romain Gaucher, and Paul E. Black. Static analysis tool exposition (SATE) 2008. National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Okun, vadim, Aurelien Delaitre, and Paul E. Black. The second static analysis tool exposition (SATE) 2009. National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Okun, Vadim, Aurelien Delaitre, and Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, 2013. http://dx.doi.org/10.6028/nist.sp.500-297.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Okun, vadim, Aurelien Delaitre, and Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Delaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro, and Terry S. Cohen. SATE V report: ten years of static analysis tool expositions. National Institute of Standards and Technology, 2018. http://dx.doi.org/10.6028/nist.sp.500-326.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kiianovska, 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. Видавничий центр ДВНЗ «Криворізький національний університет», 2014. http://dx.doi.org/10.31812/0564/1094.

Full text

Abstract:

The purpose of the study is the analysis of the development of the theory and methods of ICT usage while teaching higher mathematics engineering students in the United States. It was determined following tasks: to analyze the problem source, to identify the state of its elaboration, to identify key trends in the development of theory and methods of ICT usage while teaching higher mathematics engineering students in the United States, the object of study – the use of ICT in teaching engineering students, the research methods are: analysis of scientific, educational, technical, historical source

APA, Harvard, Vancouver, ISO, and other styles

7

Kirby, Stephen F. Model Execution and Evaluation Tool: Current Status and Initial MM5 Ensemble Member Analysis Results. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada419432.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Edwards, Jennifer L., Ryan Wiser, Mark Bolinger, and Trudy Forsyth. Evaluating state markets for residential wind systems: Results from an economic and policy analysis tool. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/837811.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Maddux, Gary A. Microelectronic Status Analysis and Secondary Part Procureability Assessment Process Tools and Procedures Development and Implementation. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada374500.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hotsur, Oksana. SOCIAL NETWORKS AND BLOGS AS TOOLS PR-CAMPAIGN IMPLEMENTATIONS. Ivan Franko National University of Lviv, 2021. http://dx.doi.org/10.30970/vjo.2021.50.11110.

Full text

Abstract:

The article deals with the ways in which social networks and the blogosphere influence the formation and implementation of a PR campaign. Examples from the political sphere (election campaigns, initiatives), business (TV brands, traditional and online media) have revealed the opportunities that Facebook, Telegram, Twitter, YouTube and blogs promote in promoting advertising, ideas, campaigns, thoughts, or products. Author blogs created on special websites or online media may not be as much of a tool in PR as an additional tool on social media. It is noted that choosing a blog as the main tool o

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!