Rozprawy doktorskie na temat „Code inspection”
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Code inspection.
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Code inspection”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
1
HONORATO, GUSTAVO DE SA CARVALHO. "NCL INSPECTOR. A NCL CODE INSPECTION TOOL". PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2010. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=16321@1.
Pełny tekst źródłaStreszczenie:
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIORGinga-NCL e a linguagem NCL foram recomendadas como ambiente de multimídia interativo e linguagem para IPTV, pela União Internacional das Telecomunicações (ITU do Inglês: International Telecommunication Union). Para promover o uso dessas tecnologias, é necessária a criação de ferramentas que ajudem a desenvolver aplicações usando NCL. Atualmente, o suporte de ferramentas para o desenvolvimento em NCL é um pouco limitado. Existem apenas poucos sistemas que auxiliam o desenvolvimento de aplicações NCL. Esses programas não ajudam muito os desenvolvedores em avaliar se o código NCL está bem escrito. Neste trabalho apresentamos o NCL-Inspector, um sistema de críticas para código NCL, que objetiva aumentar a capacidade do desenvolvedor em detectar aplicações NCL suscetíveis a erros. Também foram levantados requisitos desejáveis em sistemas de críticas para código. A forma como esses requisitos foram apresentados possibilita que sejam aplicados em qualquer sistema de crítica de código fonte.
Ginga-NCL and the NCL language were selected as a recommendation as the interactive multimedia environment and language for IPTV by the International Telecommunication Union (ITU). In order to promote the use of these technologies, it is necessary to create tools to help developing applications using NCL. At present, the support provided by tools for NCL development is quite limited. There are only few available systems that can create NCL applications. These softwares do not help developers in assessing the quality of the written NCL code. In this dissertation, we propose NCLInspector, a critique system of the NCL code, which aims at leveraging the developer s skills in detecting error-prone NCL applications. Also, we specified the requirements for critiquing systems for source code inspection.
2
Adams, Charles E. "Code inspection for NPSNET". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA294263.
Pełny tekst źródłaStreszczenie:
Thesis (M.S. in Computer Science) Naval Postgraduate School, March 1995.Thesis advisor(s): Timothy J. Shimeall, John S. Falby. "March 1995." Includes bibliographical references. Also available online.
3
Stiernborg, Sebastian. "Automated Code Inspection: Investigating Deployment of Continuous Inspection". Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254959.
Pełny tekst źródłaStreszczenie:
Developing high quality software is a challenging task and there are various techniques and processes proposed to achieve high quality of software. This project examines the process of continuous inspection that automatically reviews source code using modern technology, such as repository management services, continuous integration services and continuous code analysis tools. More specifically, this study examines how the continuous inspection process can be deployed effectively in a software team. The deployment was performed together with an interview-based study in order to get feedback on the integration alternatives of the process. The project resulted in a set of guidelines on how continuous inspection can be effectively integrated and how to establish a process that developers perceive as useful and seamlessly integrating into their workflow. These guidelines help to understand the benefits and drawbacks of integrating the continuous inspection process. Further studies are needed to investigate the integration of the continuous inspection process with different tools and features to fully answer the question how the continuous inspection process can be effectively deployed into software team’s development processes.Att utveckla högkvalitativ mjukvara är en utmanande uppgift och det finns olika tekniker och processer som kan användas för att uppnå hög kvalitet på mjukvaran. Detta arbete undersöker den moderna processen kontinuerlig kodinspektion som automatiskt granskar koden med hjälp av modern teknologi, till exempel webbaserade versionshanteringssystem, kontinuerliga integrationsservrar och kontinuerliga kodinspektionsverktyg. Mer specifikt undersöker denna studie hur den kontinuerliga inspektionsprocessen kan integreras i ett mjukvaruteams utvecklingsprocesser. Studiens integration genomfördes tillsammans med en intervjubaserad studie för att få feedback kring de olika integrationsalternativen för processen. Projektet resulterade i en uppsättning riktlinjer för hur kontinuerlig inspektion effektivt kan integreras och hur man etablerar en process som utvecklare uppfattar som användbar och som smidigt kan integreras i arbetsflödet. Dessa riktlinjer hjälper till att förstå fördelarna och nackdelarna med att integrera den kontinuerliga inspektionsprocessen. Ytterligare studier behövs för att undersöka integrationen av den kontinuerliga inspektionsprocessen med olika verktyg och funktioner. Detta för att kunna fullt ut svara på hur den kontinuerliga inspektionsprocessen effektivt kan integreras i mjukvaruteams utvecklingsprocesser.
4
Moriggl, Irene. "Intelligent Code Inspection using Static Code Features : An approach for Java". Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4149.
Pełny tekst źródłaStreszczenie:
Effective defect detection is still a hot issue when it comes to software quality assurance. Static source code analysis plays thereby an important role, since it offers the possibility for automated defect detection in early stages of the development. As detecting defects can be seen as a classification problem, machine learning is recently investigated to be used for this purpose. This study presents a new model for automated defect detection by means of machine learn- ers based on static Java code features. The model comprises the extraction of necessary features as well as the application of suitable classifiers to them. It is realized by a prototype for the feature extraction and a study on the prototype’s output in order to identify the most suitable classifiers. Finally, the overall approach is evaluated in a using an open source project. The suitability study and the evaluation show, that several classifiers are suitable for the model and that the Rotation Forest, Multilayer Perceptron and the JRip classifier make the approach most effective. They detect defects with an accuracy higher than 96%. Although the approach comprises only a prototype, it shows the potential to become an effective alternative to nowa- days defect detection methods.
5
Nguyen, Tang-Hung. "Building inspection with automated code compliance checking". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1996. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ44876.pdf.
Pełny tekst źródła
6
Dunsmore, Alastair Peter. "Investigating effective inspection of object-oriented code". Thesis, University of Strathclyde, 2002. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=9349.
Pełny tekst źródła
7
Trumble, Brandon. "Using Code Inspection, Code Modification, and Machine Learning to prevent SQL Injection". Thesis, Kutztown University of Pennsylvania, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=1590429.
Pełny tekst źródłaStreszczenie:
Modern day databases store invaluable information about everyone. This information is assumed to be safe, secure, and confidential. However, as technology has become more widespread, more people are able to abuse and exploit this information for personal gain. While the ideal method to combat this issue is the enhanced education of developers, that still leaves a large amount of time where this information is insecure. This thesis outlines two potential solutions to the problem that SQL Injection presents in the context of databases. The first modifies an existing code base to use safe prepared statements rather than unsafe standard queries. The second is a neural network application that sits between the user-facing part of a web application and the application itself. The neural network is designed to analyze data being submitted by a user and detect attempts at SQL injection.
8
Melin, Tomas. "Implementation and Evaluation of a Continuous Code Inspection Platform". Thesis, Linköpings universitet, Institutionen för datavetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-130575.
Pełny tekst źródłaStreszczenie:
Establishing and preserving a high level of software quality is a not a trivial task, although the benefits of succeeding with this task has been proven profitable and advantageous. An approach to mitigate the decreasing quality of a project is to track metrics and certain properties of the project, in order to view the progression of the project’s properties. This approach may be carried out by introducing continuous code inspection with the application of static code analysis. However, as the initial common opinion is that these type of tools produce a too high number of false positives, there is a need to investigate what the actual case is. This is the origin for the investigation and case study performed in this paper. The case study is performed at Ida Infront AB in Linköping, Sweden and involves interviews with developers to determine the performance of the continuous inspection platform SonarQube, in addition to examine the general opinion among developers at the company. The author executes the implementation and configuration of a continuous inspection environment to analyze a partition of the company’s product and determine what rules that are appropriate to apply in the company’s context. The results from the investigation indicate the high quality and accuracy of the tool, in addition to the advantageous functionality of continuously monitoring the code to observe trends and the progression of metrics such as cyclomatic complexity and duplicated code, with the goal of preventing the constant increase of complex and duplicated code. Combining this with features such as false positive suppression, instant analysis feedback in pull requests and the possibility to break the build given specified conditions, suggests that the implemented environment is a way to mitigate software quality difficulties.建立和保持高水平的软件质量可以带来经济利益等诸多好处，然而这是一项很困难的任务。其中一种防止软件项目质量下降的方法是通过跟踪项目的度量值和某些属性，来查看项目的属性的变化情况。通过引入持续的代码审查和应用静态代码分析方法可以实现这种方法。然而，在人们的印象中，这类工具往往具有较高的误检，因此需要进一步调查实际情况、研究其可行性，这是本文的初始研究目标。本文在瑞典林雪平的Ida Infront AB公司开展了案例研究，调研了该公司开发人员的意见，并通过访问开发人员，确定持续的代码审查平台SonarQube的性能。作者对持续的代码审查环境进行了配置，分析了公司的部分产品，进而确定哪些规则适用于该公司。调查结果表明该工具是高质量并且准确的，还提供了持续监测代码来观察度量值的趋势和进展等先进功能，例如通过监测环路复杂度和重复代码等度量值，来防止复杂度和重复代码的增加。通过组合误检压缩、对pull requests的瞬间分析反馈、以及分解和建立给定的条件等特征，使得所实现的环境成为一种可以降低软件质量保障难度的方式。
9
Dybdahl, Andreas. "Source Code Inspection : Measuring the Difference Between Individual and Group Performance". Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for datateknikk og informasjonsvitenskap, 2013. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-22989.
Pełny tekst źródłaStreszczenie:
The purpose of this study is to examine the relationship between the performances of group efforts versus individual efforts. Study of previous research on software inspection has shown that opinions are divided on whether to have a group work stage in the inspection or not. Initially believed to be beneficial for finding defects in source code it has in more recent years shown to be not as effective as once believed and possibly not worth the cost. This study examines the result of an experiment that conducts a slightly altered version of software inspection where subjects work either solely in groups or solely as individuals where the traditional method has subjects first inspect the code alone and then forming a group to discuss their findings. The hypothesis was that the subjects working in groups in such a fashion will perform better, but it is shown that neither group of subjects outperforms the other at finding defects. These results are consistent with previous research in the field, however it is interesting to note that even without individual preparation groups perform similarly to how they have performed in other studies. Since one of the chief arguments against group work is its high cost eliminating a stage from the review process would make it less costly and thus perhaps more desirable as an inspection method.
10
Powell, Daniel, i n/a. "Formal Methods For Verification Based Software Inspection". Griffith University. School of Computing and Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030925.154706.
Pełny tekst źródłaStreszczenie:
Useful processes, that are independently repeatable, are utilised in all branches of science and traditional engineering disciplines but seldom in software engineering. This is particularly so with processes used for detection and correction of defects in software systems. Code inspection, as introduced by Michael Fagan at IBM in the mid 1970's is widely recognised as an effective technique for finding defects in software. Despite its reputation, code inspection, as it is currently practiced, is not a strictly repeatable process. This is due to the problems faced by inspectors when they attempt to paraphrase the complicated semantics of a unit of computer code. Verification based software inspection, as advocated by the cleanroom software engineering community, requires that arguments of correctness be formulated with the code and its specification. These arguments rely on the reader being able to extract the semantics from the code. This thesis addresses the requirement for an independently repeatable, scalable and substantially automated method for yielding semantics from computer code in a complete, unambiguous and consistent manner in order to facilitate, and make repeatable, verification based code inspection. Current literature regarding the use of code inspection for verification of software is surveyed. Empirical studies are referenced, comparing inspection to software testing and program proof. Current uses of formal methods in software engineering will be discussed, with particular reference to formal method applications in verification. Forming the basis of the presented method is a systematic, and hence repeatable, approach to the derivation of program semantics. The theories and techniques proposed for deriving semantics from program code extend current algorithmic and heuristic techniques for deriving invariants. Additionally, the techniques introduced yield weaker forms of invariant information which are also useful for verification, defect detection and correction. Methods for using these weaker invariant forms, and tools to support these methods, are introduced. Algorithmic and heuristic techniques for investigating loop progress and termination are also introduced. Some of these techniques have been automated in supporting tools, and hence, the resulting defects can be repeatably identified. Throughout this thesis a strong emphasis is placed on describing implementable algorithms to realise the derivation techniques discussed. A number of these algorithms are implemented in a tool to support the application of the verification methods presented. The techniques and tools presented in this thesis are well suited, but not limited to, supporting rigorous methods of defect detection as well as formal and semi-formal reasoning of correctness. The automation of these techniques in tools to support practical, formal code reading and correctness argument will assist in addressing the needs of trusted component technologies and the general requirement for quality in software.
11
Powell, Daniel. "Formal Methods For Verification Based Software Inspection". Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366466.
Pełny tekst źródłaStreszczenie:
Useful processes, that are independently repeatable, are utilised in all branches of science and traditional engineering disciplines but seldom in software engineering. This is particularly so with processes used for detection and correction of defects in software systems. Code inspection, as introduced by Michael Fagan at IBM in the mid 1970's is widely recognised as an effective technique for finding defects in software. Despite its reputation, code inspection, as it is currently practiced, is not a strictly repeatable process. This is due to the problems faced by inspectors when they attempt to paraphrase the complicated semantics of a unit of computer code. Verification based software inspection, as advocated by the cleanroom software engineering community, requires that arguments of correctness be formulated with the code and its specification. These arguments rely on the reader being able to extract the semantics from the code. This thesis addresses the requirement for an independently repeatable, scalable and substantially automated method for yielding semantics from computer code in a complete, unambiguous and consistent manner in order to facilitate, and make repeatable, verification based code inspection. Current literature regarding the use of code inspection for verification of software is surveyed. Empirical studies are referenced, comparing inspection to software testing and program proof. Current uses of formal methods in software engineering will be discussed, with particular reference to formal method applications in verification. Forming the basis of the presented method is a systematic, and hence repeatable, approach to the derivation of program semantics. The theories and techniques proposed for deriving semantics from program code extend current algorithmic and heuristic techniques for deriving invariants. Additionally, the techniques introduced yield weaker forms of invariant information which are also useful for verification, defect detection and correction. Methods for using these weaker invariant forms, and tools to support these methods, are introduced. Algorithmic and heuristic techniques for investigating loop progress and termination are also introduced. Some of these techniques have been automated in supporting tools, and hence, the resulting defects can be repeatably identified. Throughout this thesis a strong emphasis is placed on describing implementable algorithms to realise the derivation techniques discussed. A number of these algorithms are implemented in a tool to support the application of the verification methods presented. The techniques and tools presented in this thesis are well suited, but not limited to, supporting rigorous methods of defect detection as well as formal and semi-formal reasoning of correctness. The automation of these techniques in tools to support practical, formal code reading and correctness argument will assist in addressing the needs of trusted component technologies and the general requirement for quality in software.Thesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Computing and Information Technology
Full Text
12
Tribus, Hannes. "Static Code Features for a Machine Learning based Inspection : An approach for C". Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2550.
Pełny tekst źródłaStreszczenie:
Delivering fault free code is the clear goal of each devel- oper, however the best method to achieve this aim is still an open question. Despite that several approaches have been proposed in literature there exists no overall best way. One possible solution proposed recently is to combine static source code analysis with the discipline of machine learn- ing. An approach in this direction has been defined within this work, implemented as a prototype and validated subse- quently. It shows a possible translation of a piece of source code into a machine learning algorithm’s input and further- more its suitability for the task of fault detection. In the context of the present work two prototypes have been de- veloped to show the feasibility of the presented idea. The output they generated on open source projects has been collected and used to train and rank various machine learn- ing classifiers in terms of accuracy, false positive and false negative rates. The best among them have subsequently been validated again on an open source project. Out of the first study at least 6 classifiers including “MultiLayerPer- ceptron”, “Ibk” and “ADABoost” on a “BFTree” could convince. All except the latter, which failed completely, could be validated in the second study. Despite that the it is only a prototype, it shows the suitability of some machine learning algorithms for static source code analysis.
13
Corrigall, Michael J. "Inspection plan and code generation for coordinate measuring machines in a product modelling environment". Thesis, Loughborough University, 1990. https://dspace.lboro.ac.uk/2134/11813.
Pełny tekst źródłaStreszczenie:
This thesis describes research into Inspection Plan and Code Generation that has been carried out as part of a research project investigating Information Support Systems for Design and Manufacture. The major theme of this project has been the creation of a skeletal Design to Manufacture Environment which incorporates a feature-based design system, a Machine Planner and Cutter Path Generator for machining an Inspection Plan and Code Generator (the subject of this thesis), and a Manufacturing Data Analysis facility. This experimental environment is supported by a Product Modelling System that permits all geometrical and technological information required to design and manufacture the product to be represented so that full integration can be achieved in the Design to Manufacture Environment. The survey of literature in this thesis covers the wolk of researchers in the field of Product Modelling Environments, in addition to work based on advanced Design to Manufacture systems, before concentrating on research directly concerned with Inspection Plan and Code Generation. The main body of the thesis begins by stating and explaining the objectives of the research and lists the issues that need to be addressed in order to meet these objectives. This is followed by a description of the experimental Design to Manufacture Environment, which includes an explanation of the Product Model and the interaction between it and the inspection application. The higher level issues of Inspection Planning are then discussed before attention is focussed on the individual planning activities that represent the main thrust of the research. Frequent references are made throughout these sections to a series of case-studies (Appendices C and D) based on components supplied by industrial collaborators and processed by an experimental Inspection Plan and Code Generator modelled on the theories promoted by this work. The conclusion of the thesis describes what has been learnt by this research and discusses how adequately the research objectives have been achieved.
14
Christel, Michael George. "A comparative study of digital video interactive interfaces in the delivery of a code inspection course". Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/8151.
Pełny tekst źródła
15
Nalbant, Serkan. "An Evaluation Of The Reinspection Decision Policies For Software Code Inspections". Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12605827/index.pdf.
Pełny tekst źródłaStreszczenie:
This study evaluates a number of software reinspection decision policies for software code inspections with the aim of revealing their effects regarding cost, schedule and quality related objectives of a software project. Software inspection is an effective defect removal technique for software projects.
After the initial inspection, a reinspection may be performed for decreasing the number of remaining defects further. Although, various reinspection decision methods are proposed in the literature, no study provides information on the results
of employing different methods. In order to obtain insight about this unaddressed issue, this study compares the reinspection decision policies by finding out and
analyzing their performance with respect to designated measures and preference profiles for cost, schedule, and quality perspectives in the context of a typical Software Capability Maturity Model Level 3 software organization. For this purpose, a Monte Carlo simulation model, which represents the process comprising initial code inspection, reinspection, testing and field use activities, is employed in the
study together with the experiment designed in order to consider different circumstances under which the mentioned process operates. The study recommends concluding the reinspection decision by comparing inspection effectiveness measure for major defects with respect to a moderately high
threshold value (i.e. 75%). The study also reveals that applying default decisions of &lsquoNever Reinspect&rsquo
and &lsquo
Always Reinspect&rsquo
do not exhibit the most appropriate outcomes regarding cost, schedule, and quality. Additionally, the study presents suggestions for further improving the cost, schedule, and quality of the software based on the analysis of the experiment factors.
16
Higgins, Jeffrey A. "Performance measurement in municipal building code agencies an exploratory study about how far it has developed in key cities /". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 2001. http://www.kutztown.edu/library/services/remote_access.asp.
Pełny tekst źródła
17
Ustynova, Irina Petrovna, i O. Hirii. "Tax notification - decisions as a resultt of the inspection by controlling bode and procedure for their appeal". Thesis, Національний авіаційний університет, 2021. https://er.nau.edu.ua/handle/NAU/51102.
Pełny tekst źródłaStreszczenie:
The purpose of this study is to explain the term of the tax notice - the decision, the structure of its audit and the procedure and procedure for appealing. Nowadays, topics that are in any way related to the maintenance of
documentation and forms of filling out forms, does not lose its relevance, because every year we see changes in the rules of their writing and submission, and sometimes appeals
18
Hudec, Radek. "Inspekce práce ve stavebnictví". Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2015. http://www.nusl.cz/ntk/nusl-227805.
Pełny tekst źródłaStreszczenie:
The aim of the diploma thesis is to present the institute of work inspection with a focus on Civil Engineering. Another focus is to present health and safety coordinator in relation with the institute of work inspection. I would like to draw from practical experience gained at work so I will visit construction sites with a coordinator and an inspector from the institute and consequently I will try to evaluate these inspections. At the end of the thesis I will focus on risk precautions where I will apply one method with which I will solve a practical example.
19
Helge, Jenny, Thylin Therese Lein i Jenny Lööf. "Code of conduct Inspections and Compliance". Thesis, Kristianstad University College, Department of Business Administration, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hkr:diva-3503.
Pełny tekst źródłaStreszczenie:
In many of the developing countries the working conditions are poor and unfair. Many of the clothes are bought from these countries where murder, violence and arresting of the workers are common. Neither the employers nor the employees know the laws of their countries entirely and therefore have no knowledge of fundamental rights.
The purpose of the dissertation has been to study the inspections and the compliances of the codes of conduct. Companies use codes of conduct to improve the working environment at the supplier. Furthermore, it is a contract from the company to the supplier, containing what to be expected of the supplier. The dissertation also describes what the differences are between being a member or not of the organization Business Social Compliance Initiative (BSCI).
The research questions were answered through interviews. The contacted companies were Swedish textile companies with suppliers in developing countries.
No noticeable differences between being a member of BSCI or not were found. Therefore, we added the last research question that contained the relationship between the selected companies and their suppliers.
A conclusion regarding the relationship can be drawn from our empirical material. A satisfactory relationship with the supplier is vital when inspecting a code of conduct. The suppliers should be an active part in the work with codes of conduct to improve them in the future.
20
Walkinshaw, Neil. "Partitioning object-oriented source code for inspections". Thesis, University of Strathclyde, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436084.
Pełny tekst źródła
21
Porto, Daniel de Paula. "CRISTA : um apoio computacional para atividades de inspeção e compreensão de código". Universidade Federal de São Carlos, 2009. https://repositorio.ufscar.br/handle/ufscar/415.
Pełny tekst źródłaStreszczenie:
Made available in DSpace on 2016-06-02T19:05:38Z (GMT). No. of bitstreams: 1
2434.pdf: 10415904 bytes, checksum: cf49390a38715c53ffe39e9881ed117c (MD5)
Previous issue date: 2009-05-18Financiadora de Estudos e Projetos
Software inspection is a key activity of software quality assurance that can be applied in the whole development process since it is a static activity essentially based on reading. Depending on the artifact that is being inspected, we need to apply the appropriated reading technique. Stepwise Abstraction (SA) is a reading technique commonly used in code inspections. However, its application is laborious and time consuming. Aiming to help and facilitate the application of SA, this work presents CRISTA (Code Reading Implemented with Stepwise Abstraction), a tool to support SA-based inspection processes. This tool uses a visual metaphor to facilitate code navigation and has several resources to help program understanding and documentation. Due to these resources, CRISTA is also helpful for reverse engineering, re-engineering and maintenance activities. Three experimental studies were carried out to get feedback on the tool usability and usefulness for inspections and maintenance activities. The results provide insights that CRISTA is easy to use and adequately supports the inspection process as well as code reading by Stepwise Abstraction. Besides, in the context of maintenance, its resources make this activity less time-consuming.
Inspeção de software é uma atividade chave de garantia de qualidade de software que pode ser aplicada durante todo o processo de desenvolvimento uma vez que é uma atividade estática, baseada essencialmente em técnica de leitura. Dependendo do artefato inspecionado, é preciso aplicar a técnica apropriada. No caso de inspeção de código uma técnica comumente utilizada é a Stepwise Abstraction (SA). No entanto, sua aplicação é trabalhosa e consome muito tempo. Com o objetivo de auxiliar e facilitar a aplicação da SA, este trabalho apresenta a CRISTA (Code Reading Implemented with Stepwise Abstraction), uma ferramenta que apóia o processo de inspeção baseado em SA. Essa ferramenta usa uma metáfora visual para facilitar a navegação pelo código e possui vários recursos que ajudam na compreensão do código e em sua documentação. Devido a esses recursos, a CRISTA também auxilia nas atividades de engenharia reversa, re-engenharia e manutenção. Foram realizados três estudos experimentais com o objetivo de se obter uma realimentação sobre a usabilidade e a utilidade da ferramenta em atividades de inspeção e manutenção. Os resultados fornecem evidências de que a CRISTA é fácil de ser utilizada e apóia adequadamente o processo de inspeção, bem como a leitura de código utilizando a Stepwise Abstraction. Além disso, no contexto de manutenção, os recursos da ferramenta ajudam a diminuir o tempo dessa atividade.
22
Belgamo, Anderson. "KIRT : uma técnica de leitura baseada em informações-chave e visualização para inspeção de código com suporte computacional". Universidade Federal de São Carlos, 2015. https://repositorio.ufscar.br/handle/ufscar/7973.
Pełny tekst źródłaStreszczenie:
Submitted by Livia Mello (liviacmello@yahoo.com.br) on 2016-09-30T14:28:59Z
No. of bitstreams: 1
TeseAB.pdf: 3344244 bytes, checksum: 730def413199e55b254a6488a3bb47ef (MD5)Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-20T16:18:26Z (GMT) No. of bitstreams: 1 TeseAB.pdf: 3344244 bytes, checksum: 730def413199e55b254a6488a3bb47ef (MD5)
Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-20T16:18:36Z (GMT) No. of bitstreams: 1 TeseAB.pdf: 3344244 bytes, checksum: 730def413199e55b254a6488a3bb47ef (MD5)
Made available in DSpace on 2016-10-20T16:18:44Z (GMT). No. of bitstreams: 1 TeseAB.pdf: 3344244 bytes, checksum: 730def413199e55b254a6488a3bb47ef (MD5) Previous issue date: 2015-12-10
Não recebi financiamento
Code inspection is an important activity to assure the software quality that, in some cases, shows a better performance than the testing activity. Its application depends on the use of reading techniques that assist the inspector both in understanding the code and in executing the inspection. Although there are some reading techniques that support code inspection, Stepwise Abstraction, for example, was set to the procedural paradigm and requires that even the simplest code be abstracted. Other techniques such as Checklist, Use Case based, etc., are prone to the inspector’s experience since they do not provide a systematic procedure and they are not supported by facilitating resources. A computer-aided code inspection providing visualization facilities for applying Stepwise Abstraction – the CRISTA tool - was developed in another work of this research group. This tool has shown to be an effective and efficient approach for code inspection. Objective: To present the reading technique KIRT (Key-Information Reading Techniques) that was defined through operational scenarios, in order to establish systematic guidelines for conducting the code inspection. KIRT was based on reading patterns obtained from the analysis of the inspectors’ behaviors, considering features of the object-oriented paradigm, and using visual metaphors that guide the inspector during the inspection. Method: Considering the intention of understanding how the code inspection is carried out in practice, the research was based evolutive cycles, performed through four cycles that were the basis for defining and evaluating KIRT. In each cycle, studies were performed to generate subsidies for supporting subsequent cycles. The KIRT technique was set with the main purpose of identifying defects and, in addition, source code improvements. Once defined, three experimental studies were conducted to: (i) evaluate the contribution of the visual metaphor implemented in CRISTA tool for defects identification; (ii) evaluate KIRT technique (using two different metrics) regarding the effectiveness and efficiency in the identification of defects and source code improvements; (iii) evaluate KIRT technique in relation to the Checklist technique. Results: The results of the experimental studies showed that (i) the visual metaphor influenced the number of source code improvements and false positives identified; (ii) KIRT technique (instantiated by two distinct metrics) was complementary; (iii) the effectiveness and efficiency of the KIRT technique were better than Checklist. Conclusion: In the experimental studies the KIRT technique showed satisfactory results regarding the effectiveness and efficiency in identifying defects, and generated few false positives. Moreover, the KIRT technique identified more source code improvements than Checklist. Based on the results we can say that KIRT technique can be used for code inspection in practice, mainly because they are supported by CRISTA, which provides procedures and visual metaphors for conducting the code inspection activity. Consequently, if they reach the objective of identifying defects, we can say that they contribute to the overall quality of the software.
A inspeção de código é uma importante atividade para garantia da qualidade de software, mostrando, às vezes, desempenho superior em relação à atividade de teste. Sua aplicação depende da utilização de técnicas de leitura que auxiliem o inspetor tanto na compreensão do código como na condução da atividade em si. Apesar de existirem algumas técnicas de leitura de código que dão suporte à inspeção, a Stepwise Abstraction, por exemplo, foi definida para o paradigma procedimental e exige que até as partes mais simples sejam abstraídas; outras técnicas como Checklist, Baseada em Casos de Usos, etc., são suscetíveis à experiência do inspetor, pois não possuem um procedimento sistemático e, além disso, não contam com recursos facilitadores para sua aplicação. Uma iniciativa de suporte computacional com o facilitador de visualização agregado à técnica Stepwise Abstraction está implementada na ferramenta CRISTA, desenvolvida em outro trabalho deste grupo de pesquisa, que mostrou ser uma abordagem efetiva e eficiente para inspeção de código. Objetivo: Apresentar a técnica de leitura KIRT (Key-Information Reading Technique) que foi definida por meio de cenários operacionais, com o propósito de estabelecer diretrizes sistemáticas para realizar inspeção de código. Ela foi baseada em padrões de leitura extraídos da análise do comportamento de inspetores, contemplando particularidades do paradigma orientado a objetos, e fazendo uso de metáforas visuais que guiam o inspetor nas tarefas a serem realizadas. Metodologia: Considerando a necessidade de compreender como a inspeção de código é realizada na prática, a pesquisa foi baseada por meio de quatro ciclos investigativos que serviram de base para a definição e para a avalição da técnica de leitura KIRT. Em cada ciclo executaram-se estudos que geraram resultados parciais que embasaram os ciclos subsequentes. A técnica KIRT foi definida com o propósito principal de identificação de defeitos e, adicionalmente, de melhorias no código-fonte. Após definida, três estudos experimentais foram realizados: (i) para avaliar a contribuição da metáfora visual implementada na CRISTA, para a identificação de defeitos; (ii) para avaliar a técnica de leitura KIRT usando duas métricas distintas em relação à efetividade e eficiência na identificação de defeitos e melhorias no código; (iii) para avaliar a técnica de leitura KIRT usando uma métrica específica em relação à técnica Checklist. Resultados: os resultados dos experimentos mostraram que (i) a metáfora visual influenciou em um maior número de melhorias de código identificadas e um menor número de falso-positivos; (ii) a técnica KIRT com as duas métricas distintas utilizadas são complementares; (iii) a efetividade e eficiência da técnica KIRT foram melhores que a técnica Checklist da literatura. Conclusão: Nos diferentes estudos em que foi avaliada, a técnica KIRT apresentou resultado satisfatório em relação à efetividade e eficiência na identificação de defeitos, gerando baixo número de falso-positivos. Além disso, ela se mostrou efetiva na identificação de melhorias no código. Com esses resultados pode-se dizer que a técnica KIRT constitui uma alternativa para a inspeção de código na prática, uma vez que contam com apoio da CRISTA, que oferece suporte para os procedimentos definidos, com o facilitador de metáforas visuais. Consequentemente, a aplicação da técnica KIRT pode promover a qualidade geral do software.
23
Martináková, Jana. "Studie zabezpečení zakázky se zaměřením na celní problematiku v podniku". Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2013. http://www.nusl.cz/ntk/nusl-224267.
Pełny tekst źródłaStreszczenie:
The diploma thesis is focused on possible customs issues during order processing in the manufacturing company. The theoretical part of this thesis contains definition of the world trade basic terms and a description of the customs clearance process. In the practical part, there is a description of the ordering procedure with attention to customs issues and rules in international trade. It includes a project draft which should provide the company with the improvement of the monitored indicators such as the quantity of delayed deliveries for distribution centers or the number of customs inspections.
24
Garmendia, Craig A. "Patterns of Regularity Noncompliance Identified by the U.S. Food and Drug Administration and Their Effects on Meta-analyses". FIU Digital Commons, 2018. https://digitalcommons.fiu.edu/etd/3920.
Pełny tekst źródłaStreszczenie:
The objective of this study was to determine the patterns of regulatory noncompliance, as identified by the U.S. Food and Drug Administration (FDA), and their effects on meta-analyses. In order to achieve these objective, three studies were undertaken: analysis of citations issued by FDA Investigators at the conclusion of an inspection; analysis of regulatory actions taken by the FDA towards clinical researchers based on the observations cited by FDA Investigators; and sensitivity analysis of meta-analyses based on the Agency’s determination of research misconduct, primarily the falsification of data. FDA Investigator citations were analyzed using Chi-Square analysis based on geographic location of the inspection, type of inspection, and type of violation. Temporal changes in the number of inspections and the violations cited were analyzed using bivariate Poisson regression models. Bonferroni correction was employed for temporal changes across the time period analyzed. Regulatory actions taken by the agency were analyzed via Chi-Square or Fisher’s exact test based on changes identified in previous publications, temporal changes, and differences between regulatory action types. Sensitivity analysis of meta-analyses identified through a systematic review were assessed both qualitatively and quantitatively for the effects of including publications of apixaban trials with significant FDA regulatory action, i.e. the comparison of odds ratio point estimate, upper and lower 95% confidence interval, both before and after consideration of falsified data.
Under the FDA’s Bioresearch Monitoring program from 2007-2015, the number of inspections increased, but the rate of citation issuance per inspection decreased. One third of the violations were related to adherence to investigational procedures followed by informed consent violations and violations involving study records. During this same time period, 194 clinical researchers received a regulatory action based on FDA’s review of inspection results. Since 2007, rates of significant deviations had decreased. Lack of researcher supervision and submission of false information were cited more frequently for disqualification proceedings. A systematic review found 99 statistical analyses from 22 different meta-analyses available for sensitivity analyses. Nearly one-third resulted in a change in the conclusions reported in the originally published statistical analyses.
In approximately the last decade, the number of violations cited during inspections under the Bioresearch Monitoring program has decreased; however, significant improvements can continue to be made regarding adherence to study procedures, the consenting of human subjects, and creation of adequate and accurate study documentation. Disqualification of clinical researchers is more likely to occur when researchers fail to supervise a clinical trial or false information is submitted to the FDA. Falsified data can make its way into the exploding field of meta-analyses, a study method that provides a concise and compelling method for the dissemination of medical intervention knowledge; however, this method can be highly unstable and can provide biased results. A robust sensitivity analysis that considers data quality from available sources can help ensure calculations of the best estimates.
25
Penny, Sarah. "Inspection techniques for determining graphite core deterioration for nuclear applications". Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/inspection-techniques-for-determining-graphite-core-deterioration-for-nuclear-applications(0c8e0d15-4e37-4d4e-acd5-f9cfb00bb1a9).html.
Pełny tekst źródłaStreszczenie:
Graphite bricks make up a significant part of the core of an Advanced Gas-cooled Reactor (AGR). The graphite moderates the neutrons vital to the continuation of the fission chain reaction and provides support and stability for the entire core. During operation, the graphite can be oxidised due to the extreme conditions inside the core and so undergo weight loss. Differential shrinkage caused by neutron interaction throughout the brick can also cause radial cracking to occur. The effects of the oxidation, weight loss and cracking reduce the ability of the graphite to function as a moderator. The effects also have the potential of reducing the structural integrity of the brick, causing movement and structural instability of the entire core. It is, therefore, vital to monitor the condition of the graphite bricks and to understand how the changes in the graphite's properties and structure may affect the safe operation of the reactor. This report firstly looks briefly at the effect of irradiation on the graphite brick; the mechanisms leading to weight loss and cracking. The report then considers various methods which can be used to inspect the deterioration of graphite blocks within the cores of AGRs deriving quantitative and qualitative information on density and crack profiling. These methods will be considered for use both on small samples trepanned from the core and in-situ blocks within the reactor core, requiring non-destructive techniques. The inspection methods considered in this report are: Electrical Impedance Tomography (EIT); Four point probes; Eddy Current Tomography; and Electromagnetic Inductance Tomography (EMT).There are two main contributions of this thesis. First, the development an EIT methodology using outward facing probes, which were best suited to the geometry of the graphite bricks within the AGR. Proof of principle was established using both modelling and laboratory testing. The second contribution is the development of commercial grade EMT equipment, which can be used on-site to determine the conductivity of trepanned samples. The method was successfully demonstrated in the laboratory; however, further development will be required for use on-site, due to the sampling speed required.
26
Scott, Hanna E. T. "A Balance between Testing and Inspections : An Extended Experiment Replication on Code Verification". Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1751.
Pełny tekst źródłaStreszczenie:
An experiment replication comparing the performance of traditional structural code testing with inspection meeting preparation using scenario based reading. Original experiment was conducted by Per Runeson and Anneliese Andrews in 2003 at Washington State University.En experiment-replikering där traditionell strukturell kod-testning jämförs med inspektionsmötesförberedelse användandes scenario-baserad kodläsning. Det ursprungliga experimentet utfördes av Per Runeson och Anneliese Andrews på Washington State University år 2003.
27
Maldonado, Luciano Burti. "Limites do poder de fiscalização: construção do conceito de abuso do poder de fiscalização e identificação da melhor estratégia processual para combatê-lo". reponame:Repositório Institucional do FGV, 2016. http://hdl.handle.net/10438/17206.
Pełny tekst źródłaStreszczenie:
Submitted by Luciano Burti Maldonado (lmaldonado@demarest.com.br) on 2016-10-04T21:01:56Z
No. of bitstreams: 1
Dissertação.Luciano.VersãoFinal.pdf: 1549972 bytes, checksum: bdce7d4e328f3b111f07f6474f990572 (MD5)Rejected by Renata de Souza Nascimento (renata.souza@fgv.br), reason: Luciano, boa noite Por gentileza, realizar as alterações abaixo para que possamos aceitar seu trabalho junto à biblioteca: - O nome Getúlio não pode estar acentuado. - Capa e contracapa: Retirar o nome - FGV DIREITO SP, que consta ao lado do nome da escola e retirar a sigla SP que consta ao lado de São Paulo. Em seguida, submeter novamente. Att on 2016-10-04T21:11:37Z (GMT)
Submitted by Luciano Burti Maldonado (lmaldonado@demarest.com.br) on 2016-10-05T12:03:35Z No. of bitstreams: 1 Dissertação.VersãoFinal.LucianoBurti.pdf: 1549924 bytes, checksum: db99895e97d2368a996f4907af1eb366 (MD5)
Approved for entry into archive by Renata de Souza Nascimento (renata.souza@fgv.br) on 2016-10-05T16:26:45Z (GMT) No. of bitstreams: 1 Dissertação.VersãoFinal.LucianoBurti.pdf: 1549924 bytes, checksum: db99895e97d2368a996f4907af1eb366 (MD5)
Made available in DSpace on 2016-10-05T17:02:45Z (GMT). No. of bitstreams: 1 Dissertação.VersãoFinal.LucianoBurti.pdf: 1549924 bytes, checksum: db99895e97d2368a996f4907af1eb366 (MD5) Previous issue date: 2016-09-12
This study aims to define the limits of tax inspection power and thus, build the concept of abuse of the tax inspection power under Articles 195 and 196 of the National Tax Code, as well as defining the best legal strategy to fight it. Having this objective in mind, we will analyze the tax legislation regarding the supervisory procedures, especially at the federal level and the São Paulo State Finance. In order to understand the power of tax inspection, we will also make use of specialized doctrine on the subject. Once defined the inspection procedure rules and the power of the tax authorities, we will build the concept of abuse of tax inspection powers. Accordingly, in addition to the proposal for a normative concept we will also try to identify a pragmatic concept. Therefore, we investigate the perspective of taxpayers and the placement of administrative and judicial jurisprudence. The analysis of administrative and judicial jurisprudence in addition to assisting us in building the concept of abuse of the Inspection power under the pragmatic approach will also allow us to identify the strategies used by taxpayers to fight abuse of the oversight inspection power and, hence, define the best strategy to fight it, that is, whether during or after the tax inspection procedure and or through administrative defense or prosecution lawsuit.
O presente trabalho tem por objetivo definir os limites do poder de fiscalização e, desta forma, construir o conceito de abuso do poder de fiscalização à luz dos artigos 195 e 196 do Código Tributário Nacional, bem como definir a melhor estratégia processual para combatê-lo. Diante do objetivo pretendido, faremos a análise da legislação tributária sobre os procedimentos de fiscalização, notadamente no âmbito federal e da Fazenda do Estado de São Paulo. Para o entendimento do poder de fiscalização também lançaremos mão da doutrina especializada sobre o assunto. Uma vez delimitadas as regras referentes ao procedimento de fiscalização e o poder do Fisco, construiremos o conceito do abuso do poder de fiscalização. Nesse sentido, além da proposta de um conceito normativo, também tentaremos identificar um conceito pragmático. Para tanto investigaremos a perspectiva dos contribuintes e o posicionamento da jurisprudência administrativa e judicial. A análise da jurisprudência administrativa e judicial além de nos auxiliar na construção do conceito de abuso do poder de fiscalização sob a perspectiva pragmática também permitirá definir as estratégias utilizadas pelos contribuintes para combater o abuso do poder de fiscalização e, desta forma, a partir de referida análise poderemos definir a melhor estratégia para combatê-lo, isto é, se durante ou após o procedimento de fiscalização e se por meio de defesa administrativa ou ajuizamento de ação judicial.
28
Strout, Michelle Mills, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck i Catherine Olschanowsky. "An approach for code generation in the Sparse Polyhedral Framework". ELSEVIER SCIENCE BV, 2016. http://hdl.handle.net/10150/615800.
Pełny tekst źródłaStreszczenie:
Applications that manipulate sparse data structures contain memory reference patterns that are unknown at compile time due to indirect accesses such as A[B[i]]. To exploit parallelism and improve locality in such applications, prior work has developed a number of Run-Time Reordering Transformations (RTRTs). This paper presents the Sparse Polyhedral Framework (SPF) for specifying RTRTs and compositions thereof and algorithms for automatically generating efficient inspector and executor code to implement such transformations. Experimental results indicate that the performance of automatically generated inspectors and executors competes with the performance of hand-written ones when further optimization is done.
29
Williams, George Reese. "Assessing the Repercussions of a Mass Departure of Building Inspectors from the Code Professional Industry in Utah". BYU ScholarsArchive, 2015. https://scholarsarchive.byu.edu/etd/5609.
Pełny tekst źródłaStreszczenie:
National studies suggest that eighty percent of existing code professionals are expected to retire within the next fifteen years. As part of this research, it was determined that approximately half of all licensed building inspectors in the State of Utah will reach retirement age within the next ten years. As building inspectors make up a large part of the Code Professional Industry this demographic was selected as the focus of this research. The purpose of this research project was to assess the urgent need for new entrants into the Code Professional Industry in Utah. As part of this research, trends within the local industry over a 20 year period were evaluated. A statewide survey of over 300 licensed building inspectors was conducted to investigate the demographics of the industry, and gain first-hand insight from individual code professionals. This research was successful in quantifying the size of the Code Professional Industry in Utah, and numbering the populations of certified professionals in each individual code discipline. In addition, projected losses were established within each code discipline, discovering many disciplines in which over 50% of current professionals would be lost within a ten year period. In addition projections were made contrasting the number of code professionals leaving the industry versus the small anticipated number of individuals entering the industry. This research conclusively predicts a steady and dramatic decline in the number of licensed code professionals, unless the industry actively works toward addressing the issue. The group of aging code professionals possess a level of knowledge and experience not easily replaced. This study was based on an extensive statewide survey of licensed building inspectors in Utah, and collected opinions, concerns and insights directly from the Code Professional Industry. The findings of this study provide a unique look at this specialized industry within a single state. The lessons learned likely apply to populations of code professionals in other locations. This study concluded that a combination of phased retirement, modified work duties and mentoring programs would be of great benefit to the Code Professional Industry, by allowing the transfer of knowledge between the outgoing generation and the future generation of code professionals.
30
Nasim, Kamraan. "AETOS: An Architecture for Offloading Core LTE Traffic Using Software Defined Networking Concepts". Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35085.
Pełny tekst źródłaStreszczenie:
It goes without saying that cellular users of today have an insatiable appetite for bandwidth and data. Data-intensive applications, such as video on demand, online gaming and video conferencing, have gained prominence. This, coupled with recent innovations in the mobile network such as LTE/4G, poses a unique challenge to network operators in how to extract the most value from their deployments all the while reducing their Total Cost of Operations(TCO). To this end, a number of enhancements have been proposed to the ”conventional” LTE mobile network. Most of these recognize the monolithic and non-elastic nature of the mobile backend and propose complimenting core functionality with concepts borrowed from Software Defined Networking (SDN). In this thesis we shall attempt to explore some existing options within the LTE standard to mitigate large traffic churns. We will then review some SDN-enabled alternatives, and attempt to derive a proof based critique on their merits and drawbacks.
31
McLean, William. "Inspector Discretion and Industry Compliance in the Street-Level Implementation of Building Codes". ScholarWorks@UNO, 2003. http://scholarworks.uno.edu/td/63.
Pełny tekst źródłaStreszczenie:
This dissertation examines inspector discretion and industry compliance in the street-level implementation of building codes. In particular, this study examines the effects that agency-level, individual-level, and environmental variables have on the choice of inspectors to exercise discretion. Unique to this study is the examination of policy congruence between building departments and street-level inspectors as a predictor of industry compliance with regulatory policy. In addition, the various effects of building department enforcement philosophies, departmental capacity for enforced compliance, and environmental variables are considered. The findings indicate that regulatory policy implementation and impact are complex phenomena. There is no single, best predictor for determining what influences inspector behavior and industry compliance. Rather, this study shows that it is a multiplicity of factors, in concert, that shape regulatory outputs and outcomes. From this dissertation we can learn lessons that can be applied to other policy areas to create a better understanding of inspector discretion, improve industry compliance with regulations, and achieve more effective street-level implementation and understanding of policy impact.
32
Xie, Tuqiang. "Development of an opto-fluidic probe for on-line noncontact dimensional inspection and tool condition monitoring in a hazardous manufacturing environment". Thesis, Brunel University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324552.
Pełny tekst źródła
33
PINTO, LETICIA N. "Experimentos de efeitos de reatividade no reator nuclear IPEN/MB-01". reponame:Repositório Institucional do IPEN, 2012. http://repositorio.ipen.br:8080/xmlui/handle/123456789/10099.
Pełny tekst źródłaStreszczenie:
Made available in DSpace on 2014-10-09T12:34:46Z (GMT). No. of bitstreams: 0Made available in DSpace on 2014-10-09T14:01:16Z (GMT). No. of bitstreams: 0
Dissertação (Mestrado)
IPEN/D
Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP
34
Muchiri, Eric. "Optical Inspections and Scanning Electron Microscopy across the Cretaceous-Paleogene Boundary Deposit in Well-Core IPNH No. 2 from LaSalle Parish, Central Louisiana". Thesis, University of Louisiana at Lafayette, 2019. http://pqdtopen.proquest.com/#viewpdf?dispub=10826798.
Pełny tekst źródłaStreszczenie:
Much scientific knowledge already exists on the Cretaceous-Paleogene (K/Pg) Boundary Deposit from outcrop and shallow core near to outcrop. The significance of this study is to learn from the only deep-well core on land, from the northern Gulf of Mexico (GoM) known to preserve this deposit. This core was chosen because of its pristine (unweathered) condition. The aim was to characterize the portion of this core which was influenced by the Chicxulub Impact event 65.5 Ma to enhance the scientific knowledge of the K/Pg boundary. I hypothesized that this core represents three lithofacies: 1) pre-impact chalk, 2) mass wasting deposit and fall back material, 3) Midway Shale; and that the mass wasting deposit and fall back material were deposited as a direct result of the impact event. I tested these hypotheses by employing: 1) Macroscopic descriptions, 2) Scanning Electron Microscopy-Energy Dispersive Spectroscopy (SEM-EDS) of selected portions, 3) 10% HCl treatment and microscopic descriptions of the resulting insoluble portions. The findings show that the core can be divided into three main sections in ascending order: 1) a lighter carbonate, 2) a darker carbonate, and 3) a black shale. From optical and SEM analysis, I find that the microfossils and ubiquitous coccoliths found throughout the carbonate sections of this core do not exist in the core above section 2. Section 2 is mostly a Chicxulub Impact induced mass wasting deposit. In order to investigate better the non-carbonate components of the core, representative portions were treated with 10% HCl, an investigative technique not commonly applied to cores of the K/Pg boundary. Under an optical microscope ,10% HCl insoluble portions from the K/Pg boundary reveal no regularly shaped impact spherules. I find no Si-rich spherules and posit that the spherules in this core are almost entirely, Ca-rich.
35
SANTOS, LUCAS R. dos. "Desenvolvimento de um protocolo de calibração utilizando espectrometria e simulação matemática, em feixes padrões de raios x". reponame:Repositório Institucional do IPEN, 2017. http://repositorio.ipen.br:8080/xmlui/handle/123456789/28026.
Pełny tekst źródłaStreszczenie:
Submitted by Pedro Silva Filho (pfsilva@ipen.br) on 2017-11-21T11:20:13Z
No. of bitstreams: 0Made available in DSpace on 2017-11-21T11:20:13Z (GMT). No. of bitstreams: 0
A calibração, por definição, é o processo pelo qual se estabelece uma relação entre valores de medição de um padrão, com as suas respectivas incertezas, e as indicações com as incertezas associadas do instrumento de medição a ser calibrado. Um protocolo de calibração descreve a metodologia a ser aplicada em um processo de calibração. O método escolhido para a obtenção deste protocolo foi o da espectrometria de feixe de raios X associada à simulação pelo método de Monte Carlo, fundamentado no fato de que ambos são considerados métodos absolutos na determinação de parâmetros de feixes de radiação. Neste trabalho foi utilizado o método de Monte Carlo utilizado para obter a função resposta do detector utilizada para a correção dos espectros obtidos do feixe primário de radiação X; deste modo foram calculadas as taxas de kerma destes feixes e comparadas aos valores obtidos com as câmaras de ionização padrão secundário do Laboratório de Calibração de Instrumentos do IPEN (LCI/IPEN). Foram obtidos os coeficientes de calibração para o sistema padrão com diferenças em relação ao fornecido pelo laboratório primário entre 1,3% e 15,3%. Os resultados obtidos indicaram a viabilidade do estabelecimento deste protocolo de calibração utilizando a espectrometria como padrão de referência, com incertezas relativas de 0,62% para k=1. As incertezas associadas ao método proposto foram satisfatórias, para um laboratório padrão secundário e comparáveis a um laboratório primário.
Tese (Doutorado em Tecnologia Nuclear)
IPEN/T
Instituto de Pesquisas Energéticas e Nucleares - IPEN-CNEN/SP
36
Kořínková, Iveta. "Stavebně technologický projekt obchodního centra LETMO v Brně". Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2016. http://www.nusl.cz/ntk/nusl-240412.
Pełny tekst źródłaStreszczenie:
The dissertation deals with construction-technlogical project of Letmo commercial centre in Brno.The building is situated in the city centre. The main task of this thesis was to suggest and solve the question of the constructrion site equipment. That is applied in each construction phase – ground works, recontruction of the steel load-carrying arrangement, reconstruction of pipelines, roof and the ventilated facade. The ventilated facade is very specific in case of this building as that is aired out using air-conditioning system. Moreover, the thesis goes in for works timeline of the shopping centre Letmo, budget according to THU, technological code for ventilated fasade and inspecting and testing schedule.
37
Wünsche, Dominik. "Diagnostika a hodnocení mostní konstrukce". Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2021. http://www.nusl.cz/ntk/nusl-433535.
Pełny tekst źródłaStreszczenie:
The diploma thesis deals with the issue of bridge strustures, especially their diagnostics and evaluation. The work consists of two parts, theoretical and practical. The theoretical part deals with the basic description and division of bridge structures, brigde inspections and test methods, especially those that were used in the thesis during bridge inspections. The practical part includes a visual inspection of two bridges, their description, detection of faults and defects and their documentation. In the practical part, the basic maretial characteristics of concrete bridges were determined, the condition of structures was assessed and a proposal for the elimination of failures and defects was developed. In the end, the work deals with the evaluation of both bridges.
38
Malečík, Patrik. "Stavebně technologický projekt části lékařské fakulty". Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2017. http://www.nusl.cz/ntk/nusl-265464.
Pełny tekst źródłaStreszczenie:
In my master's thesis I deal with constructive technological project of medical faculty of Charles Univerisity. The aim is to solve the structure in terms of financial, time and technology. Constructive technological project of my thesis contains site equipment, time and financial schedule, design of mechanization, technological prescription, inspection and test plan, health and safety, etc.
39
Prokop, Ondřej. "Kanalizace a ČOV ve Veverské Bítýšce - stavebně technologický projekt". Master's thesis, Vysoké učení technické v Brně. Fakulta stavební, 2016. http://www.nusl.cz/ntk/nusl-240245.
Pełny tekst źródłaStreszczenie:
Master´s thesis deals with construction technology project of Sewerage and wastewater treatment plants. The old building objects will be demolished and there will be built new objects on the same place as before. The target of the reconstruction is reducing the amount of energy and increase technological and technology level of wastewater treatment. One of the part of the reconstruction is build new filling station and the sanitation of pipelines on the other side of the river.
40
Krishnamoorthy, Shyaamkumaar. "Code Inspection". Thesis, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-6571.
Pełny tekst źródłaStreszczenie:
Real time systems, used in most of the day-to-day applications, require time critical exection of tasks. Worst Case Execution Time Analysis (WCET) is performed to ensure the upper bound on the time they can take to execute. This work aims to perform a static analysis of the industry standard code segments to provide valuable information to aid in choosing the right apporach towards WCET analysis. Any code segment can be analyzed syntactically, to gain some insights to the effects that a particular coding syntax format may have. With focus on the functions and looping statements, vaulable information regarding the code segments inspected can be obtained. For this purpose, the code segments from CC systems, Vasteras , were inspected. Scope graphs generated by SWEET, the Swedish Execution Time tool were used extensively to aid this work. It was found that syntactical analysis could be performed effectively for the code segments that were analysed as a part of this task.
41
Nguyen, Tang Hung. "Building inspection with automated code compliance checking". Thesis, 1996. http://spectrum.library.concordia.ca/157/1/MQ44876.pdf.
Pełny tekst źródłaStreszczenie:
Inspecting existing buildings for conformity with current regulations is often difficult to carry out for people lacking expertise in code compliance checking. The present research aims at developing an automated approach for the diagnostic of existing buildings during inspection. The proposed methodology is that of an intelligent system combining current computer technologies such as expert systems, databases, and hypertext techniques. The expert system represents and reasons with specialist knowledge to diagnose problems with code compliance checking whereas the database and hypertext techniques are the database and hypertext techniques are efficient for handling cross references among distinct building subsystems and disciplinary viewpoints in data management systems. The research methodology has been implemented in a software prototype known as Health and Safety Expert System (HASES). The prototype system relies on knowledge and reasoning to interpret the requirements of Part 3 of the National Building Code of Canada. HASES aims at facilitating the inspection of existing buildings by simplifying the data collection and compliance checking processes, generating reports, and providing access to texts and relevant case studies on the fly, as an inspector walks around a building.
42
Guimarães, Joaquim Pedro Ribeiro. "Serious Game for Learning Code Inspection Skills". Master's thesis, 2016. https://repositorio-aberto.up.pt/handle/10216/104327.
Pełny tekst źródłaStreszczenie:
With the goal of turning software engineering learning more interesting and attractive, or more precisely code reviewing technique, was developed in 2013 an application that allows a teacher to make a set of challenges available in order that students may compete among themselves, finding the maximum number of errors in the least time possible. However this application contains some limitation in what concerns code reviews and inspections, since it only allows individual reviews, while the ideal review is usually done by a group. In addition, the application requires to be installed locally, which lowers both the spectrum of supported devices and the easiness of accessibility.The objective of this dissertation is to investigate, develop and implement an application that includes serious games concepts in code inspections in a way that allows for a better reproduction of a code inspection process. The main challenge is to reduce the limitations of the previous work, develop a feature that allows an approximate reproduction of what a code inspection is, or in other words, that allows group revisions, and add gamification concepts to it. To reach the solution, it was necessary to research gamification elements that favor the continuous use of the application and promote competitiveness.This dissertation shows the research and investigation done, the implementation of the solution found, as well as the results of its testing.Com o objetivo de tornar mais interessante e aliciante o ensino de engenharia de software, ou mais exatamente de técnicas de revisão de código, foi desenvolvida em 2013 uma aplicação que permite a um professor disponibilizar um conjunto de desafios e onde os alunos podem competir entre si, descobrindo o maior número possível de erros no menor tempo possível. Contudo esta aplicação contém alguma limitação no que se refere a revisões e inspecções de código, pois apenas permite revisões individuais, enquanto que uma revisão ideal é realizada em grupo. Além disso, a aplicação requer instalação local, o que diminiu o espectro de dispositivos que a suportam e a facilidade de acesso à mesma.O objectivo desta dissertação é investigar, desenvolver e implementar uma aplicação que inclui conceitos de jogos sérios em inspecções de código de modo a que seja permitida uma melhor reprodução de um processo de inspecção de código. O principal desafio é reduzir as limitações do trabalho anterior, desenvolver uma funcionalidade que permita uma reprodução aproximada do que é uma inspecção de código, ou seja, que permita revisões em grupo e adicionar conceitos de gamificação a essa funcionalidade. Para chegar à solução, foi necessário pesquisar elementos de gamificação que favorecem o uso contínuo da aplicação e que promovem competitividade.Esta dissertação mostra a pesquisa e a investigação realizadas, a implementação da solução encontrada, assim como os resultados de testes efectuados.
43
Guimarães, Joaquim Pedro Ribeiro. "Serious Game for Learning Code Inspection Skills". Dissertação, 2016. https://repositorio-aberto.up.pt/handle/10216/104327.
Pełny tekst źródłaStreszczenie:
With the goal of turning software engineering learning more interesting and attractive, or more precisely code reviewing technique, was developed in 2013 an application that allows a teacher to make a set of challenges available in order that students may compete among themselves, finding the maximum number of errors in the least time possible. However this application contains some limitation in what concerns code reviews and inspections, since it only allows individual reviews, while the ideal review is usually done by a group. In addition, the application requires to be installed locally, which lowers both the spectrum of supported devices and the easiness of accessibility.The objective of this dissertation is to investigate, develop and implement an application that includes serious games concepts in code inspections in a way that allows for a better reproduction of a code inspection process. The main challenge is to reduce the limitations of the previous work, develop a feature that allows an approximate reproduction of what a code inspection is, or in other words, that allows group revisions, and add gamification concepts to it. To reach the solution, it was necessary to research gamification elements that favor the continuous use of the application and promote competitiveness.This dissertation shows the research and investigation done, the implementation of the solution found, as well as the results of its testing.Com o objetivo de tornar mais interessante e aliciante o ensino de engenharia de software, ou mais exatamente de técnicas de revisão de código, foi desenvolvida em 2013 uma aplicação que permite a um professor disponibilizar um conjunto de desafios e onde os alunos podem competir entre si, descobrindo o maior número possível de erros no menor tempo possível. Contudo esta aplicação contém alguma limitação no que se refere a revisões e inspecções de código, pois apenas permite revisões individuais, enquanto que uma revisão ideal é realizada em grupo. Além disso, a aplicação requer instalação local, o que diminiu o espectro de dispositivos que a suportam e a facilidade de acesso à mesma.O objectivo desta dissertação é investigar, desenvolver e implementar uma aplicação que inclui conceitos de jogos sérios em inspecções de código de modo a que seja permitida uma melhor reprodução de um processo de inspecção de código. O principal desafio é reduzir as limitações do trabalho anterior, desenvolver uma funcionalidade que permita uma reprodução aproximada do que é uma inspecção de código, ou seja, que permita revisões em grupo e adicionar conceitos de gamificação a essa funcionalidade. Para chegar à solução, foi necessário pesquisar elementos de gamificação que favorecem o uso contínuo da aplicação e que promovem competitividade.Esta dissertação mostra a pesquisa e a investigação realizadas, a implementação da solução encontrada, assim como os resultados de testes efectuados.
44
Chang, Chia-Chi, i 張佳琦. "Study on the Formulation of Ethical code forBuildings Public Security Inspection Industry". Thesis, 2017. http://ndltd.ncl.edu.tw/handle/64tb99.
Pełny tekst źródłaStreszczenie:
碩士東南科技大學
營建與空間設計系營建科技與防災碩士班
105
After several serious disasters, buildings public security has become a public issue. Therefore, the Government promulgated and implemented the "Regulations for Inspecting and Reporting Buildings Public Security" in 1996, which shows the importance of maintenance of buildings after use. However, an overview of the history of Taiwan's building management system in the past 20 years, the quality of work force of the inspection practitioners are still uneven and practitioners’ awareness for the proper ethical code are not the same. Therefore, this study uses the questionnaire survey method to investigate four major related target groups of the competent authority, professional inspection agencies, decoration and design industry, and fire service industry. And it hope to explore the impact of ethical judgment and behavioral intentions through the ethical code and ethical evaluation of the inspector. The results show that the inspector's ethical judgment will have a positive effect and the inspector will be expected not to have unethical behavior when the inspector's ethical evaluation or awareness of ethical code is higher. Therefore, in order to achieve goals of sustainable development for the building public safety inspection industry, the inspectors’ value, ability, image, quality, and competitiveness must be improved. And it is important to regard the ethical code and formulate a set of ethical code. The recommendations of this study can be taken as a reference for future research by the competent authorities and the Building Public Security Industry Association.
45
Ou, Tao-chi, i 歐陽燾騏. "Two-Dimensional Bar Code Inspection of TFT Array for LCD Manufacturing Process". Thesis, 2012. http://ndltd.ncl.edu.tw/handle/61213627055645394785.
Pełny tekst źródłaStreszczenie:
碩士逢甲大學
資訊電機工程碩士在職專班
100
LCD products are part of smart phones, LED TVs and computers that are full with our daily lives. Some manufacturers adopt the barcode in quality control under the production process of LCD glass substrate. The quality control in the production process and output are 100% inspected. Traditional visual inspection by operators is time consuming and subject to human errors as of fatigue. Our research establishes an inspecting system of data matrix of barcode to replace with traditional inspection. The system is one that extracts non-contact optical inspecting method. QR image printed on LCD metal layer and non-metal layer is taken by combination of CCD camera and image processing software. The inspection highlights include the readability, correction and deviation of data matrix barcode. The software has advantages such as convenience and flexibility, and the user can check the results directly in friendly man-machine interface. Data from CCD camera can be output to SVMS software for quality analysis. The object of experiment is to increase the production rate and quality of manufacturing and simultaneously lower the cost by automatic inspecting of machine vision. The CCD camera is saturated in the situation higher than 850nm wavelength light while in taking barcode. We can improve the quality of data matrix barcode inspecting with an attachment filter to filter out the wavelength light with higher than 850nm.
46
Ragusa, Giuliano Giorgio. "Code Reviews for Visual Programming Languages". Master's thesis, 2018. http://hdl.handle.net/10362/75494.
Pełny tekst źródłaStreszczenie:
Visual languages such as OutSystems are being progressively more used by large
teams that collaborate on enterprise grade projects. This results in new challenges
when it comes to ensuring the quality of the applications built with this languages,
without sacrificing productivity. An increasingly common way to improve quality is
performing distributed lightweight tool supported code reviews.
A code review consists of an analysis of the code by one or more developer. The
objective for this is to ensure that the changes do not introduce bugs and adhere to
the established coding best practices. With this practice, companies can offer higher
quality and easier to maintain software. However, the current tools and processes for
code review are focused on textual programming languages and opening a bigger gap
for the visual ones.
The main goal of this dissertation is to develop a specialized tool to promote and
making visual programming languages code review more accessible. An easy-to-follow
process was also created to support the tool. At the moment, the tool can be used with
OutSystems’ language and UML class diagram, however, new languages can easily
be added to the solution.
We examined the code review method currently used by developers vs. the new
method created concerning defect detection rates and user experience. Also conducted
individual interviews with 30 computer science engineers. Results were collected
with the help of questionnaires and analyzed using multiple descriptive statistics.
The new code review method was significantly better than the current method
used, reaching average usability improvements of 47.75%, tasks load reduction of
15,43%. Generalization of results is limited since the analyzed techniques were applied
only to a small set, consisted of 30 testers.
The result supported the evidence concerning the advantage of the new code
review method using the developed tool over the current method of reviewing visual
artifacts.
47
Liu, Chia-Maio, i 劉珈妙. "According to the International Labor Inspection Standard to Construct the Scale of Professional Core Competence of Taiwan Labor Inspector". Thesis, 2013. http://ndltd.ncl.edu.tw/handle/86947108135420595788.
Pełny tekst źródłaStreszczenie:
碩士文藻外語學院
國際事業暨文化交流研究所
101
This study collected literatures associated with competencies, and professional competencies, and used them as a basis to compare with those competencies proposed for labor inspectors by EU, ILO, IALI and others to establish a draft content of competencies for labor inspectors.Then interview with three labor inspectors who are serving in executive’s labor inspection department and service for 30 years to explore the core competencies of scale.Those items of content are weighted points 1 to 5 by 8 senior labor inspectors who are work over 11 years; opposite to 1, the point 5 is the most important. By using fuzzy region of interesting (ROI) technique, the results of those above twelve general core competencies and nine professional core competencies. It can be used as a basis for planning the contents of on-the-job training programs for current labor inspectors.
48
"AN EVALUATION OF THE REINSPECTION DECISION POLICIES FOR SOFTWARE CODE INSPECTIONS". Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12605827/index.pdf.
Pełny tekst źródła
49
Liao, Hsin-Hsu, i 廖信旭. "Simple partial core group within the optical inspection tool design". Thesis, 2009. http://ndltd.ncl.edu.tw/handle/dm6zm3.
Pełny tekst źródłaStreszczenie:
碩士國立虎尾科技大學
光電與材料科技研究所
97
Over the years more and more optical products in Taiwan, the types of products are more and more, relative to the optical performance requirements than ever before, so in the overall production process to enhance a number of requirements, and in the production the greatest impact for the optical properties of the lens single group within the core side, the manufacturing group within the core of the good side if the overall product yield a considerable impact, so whether in the production process can be found in real-time changes in the core group within the side in order to enhance product yields, and further amendments to the error is eager to break through various vendors, but in today''s world of optical surface-related Partial core group within the detector are very expensive and bulky, but also to detect partial optical core group does not have to spend less time, so are only suitable for the determination of the design study, does not apply to be detected in non-performing real-time use of the production line. In this study, DSC (digital camera) DSLR (digital single-lens reflex cameras) is required for lens production line designed to meet the following conditions: (1) can be determined immediately (2) small size (3) cheap Able to achieve three goals down the premise of the optical design Simple partial core group determination, and to break the current plight of products and can provide the exact line of the actual demand.
50
Wei, Cheng-hsu, i 魏成旭. "Research 0n Core Competency of Security Inspection Personnel in Taiwans Fishing Port". Thesis, 2012. http://ndltd.ncl.edu.tw/handle/38868582667562690150.
Pełny tekst źródłaStreszczenie:
碩士世新大學
行政管理學研究所(含博、碩專班)
100
The social stability and the national coast security are all Coast Guard Administration’s Concern by the matters they perform and the professional works, therefore, it’s necessary to do the research on the flaws when performing the professional works, in order to enhance related abilities and the professional works, then make sure the stability and security of the society and the Country are proofed. According to the Coast Guard Administration, there are three items for the professional core competency, they are abilities of maritime law enforcement、maritime affairs and maritime services, however, is the job performance affected, if the core competency of the personnel in the front line is represented. This study is based on the result of questionnaire for Central Coastal Patrol Office Coast Patrol Corps 3 and Coast Patrol Corps 3-2, in order to investigate the connections between the core competency、service execution and job performance of the Coast Guard Administration. According to the questionnaires, testing the hypothesis from among the data by using validity analysis、reliability analysis、analysis of variance、multiple regression analysis and descriptive statistics, leading to the consequence as follows: 1. There is significant difference for job performance when the background factors of the fishing port security inspecting personnel are different. 2. There is significant difference for core competency when the background factors of the fishing port security inspecting personnel are different. 3. There is significant difference for service execution when the background factors of the fishing port security inspecting personnel are different. 4. There is significant difference for job performance when the background factors of the fishing port security inspecting personnel are different. 5. There is no positive association between maritime services and job performance of the fishing port security inspecting personnel. 6. There is no positive association between maritime affairs and job performance of the fishing port security inspecting personnel. 7. There is positive association between service execution and job performance of the fishing port security inspecting personnel.