Dissertations / Theses on the topic 'Code inspection'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Code inspection.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
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.
Full textGinga-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.
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.
Full textThesis advisor(s): Timothy J. Shimeall, John S. Falby. "March 1995." Includes bibliographical references. Also available online.
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.
Full textAtt 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.
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.
Full textNguyen, 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.
Full textDunsmore, 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.
Full textTrumble, 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.
Full textModern 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.
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.
Full text建立和保持高水平的软件质量可以带来经济利益等诸多好处,然而这是一项很困难的任务。其中一种防止软件项目质量下降的方法是通过跟踪项目的度量值和某些属性,来查看项目的属性的变化情况。通过引入持续的代码审查和应用静态代码分析方法可以实现这种方法。然而,在人们的印象中,这类工具往往具有较高的误检,因此需要进一步调查实际情况、研究其可行性,这是本文的初始研究目标。本文在瑞典林雪平的Ida Infront AB公司开展了案例研究,调研了该公司开发人员的意见,并通过访问开发人员,确定持续的代码审查平台SonarQube的性能。作者对持续的代码审查环境进行了配置,分析了公司的部分产品,进而确定哪些规则适用于该公司。调查结果表明该工具是高质量并且准确的,还提供了持续监测代码来观察度量值的趋势和进展等先进功能,例如通过监测环路复杂度和重复代码等度量值,来防止复杂度和重复代码的增加。通过组合误检压缩、对pull requests的瞬间分析反馈、以及分解和建立给定的条件等特征,使得所实现的环境成为一种可以降低软件质量保障难度的方式。
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.
Full textPowell, Daniel, and 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.
Full textPowell, Daniel. "Formal Methods For Verification Based Software Inspection." Thesis, Griffith University, 2003. http://hdl.handle.net/10072/366466.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Computing and Information Technology
Full Text
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.
Full textCorrigall, 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.
Full textChristel, 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.
Full textNalbant, 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.
Full textNever 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.
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.
Full textUstynova, Irina Petrovna, and 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.
Full textHudec, 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.
Full textHelge, Jenny, Thylin Therese Lein, and 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.
Full textIn 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.
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.
Full textPorto, 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.
Full textFinanciadora 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.
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.
Full textApproved 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.
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.
Full textGarmendia, 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.
Full textPenny, 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.
Full textScott, 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.
Full textEn 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.
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.
Full textRejected 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.
Strout, Michelle Mills, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck, and Catherine Olschanowsky. "An approach for code generation in the Sparse Polyhedral Framework." ELSEVIER SCIENCE BV, 2016. http://hdl.handle.net/10150/615800.
Full textWilliams, 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.
Full textNasim, 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.
Full textMcLean, William. "Inspector Discretion and Industry Compliance in the Street-Level Implementation of Building Codes." ScholarWorks@UNO, 2003. http://scholarworks.uno.edu/td/63.
Full textXie, 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.
Full textPINTO, 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.
Full textMade 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
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.
Full textMuch 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.
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.
Full textMade 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
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.
Full textWü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.
Full textMalečí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.
Full textProkop, 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.
Full textKrishnamoorthy, Shyaamkumaar. "Code Inspection." Thesis, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-6571.
Full textReal 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.
Nguyen, Tang Hung. "Building inspection with automated code compliance checking." Thesis, 1996. http://spectrum.library.concordia.ca/157/1/MQ44876.pdf.
Full textGuimarães, Joaquim Pedro Ribeiro. "Serious Game for Learning Code Inspection Skills." Master's thesis, 2016. https://repositorio-aberto.up.pt/handle/10216/104327.
Full textCom 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.
Guimarães, Joaquim Pedro Ribeiro. "Serious Game for Learning Code Inspection Skills." Dissertação, 2016. https://repositorio-aberto.up.pt/handle/10216/104327.
Full textCom 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.
Chang, Chia-Chi, and 張佳琦. "Study on the Formulation of Ethical code forBuildings Public Security Inspection Industry." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/64tb99.
Full text東南科技大學
營建與空間設計系營建科技與防災碩士班
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.
Ou, Tao-chi, and 歐陽燾騏. "Two-Dimensional Bar Code Inspection of TFT Array for LCD Manufacturing Process." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/61213627055645394785.
Full text逢甲大學
資訊電機工程碩士在職專班
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.
Ragusa, Giuliano Giorgio. "Code Reviews for Visual Programming Languages." Master's thesis, 2018. http://hdl.handle.net/10362/75494.
Full textLiu, Chia-Maio, and 劉珈妙. "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.
Full text文藻外語學院
國際事業暨文化交流研究所
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.
"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.
Full textLiao, Hsin-Hsu, and 廖信旭. "Simple partial core group within the optical inspection tool design." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/dm6zm3.
Full text國立虎尾科技大學
光電與材料科技研究所
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.
Wei, Cheng-hsu, and 魏成旭. "Research 0n Core Competency of Security Inspection Personnel in Taiwans Fishing Port." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/38868582667562690150.
Full text世新大學
行政管理學研究所(含博、碩專班)
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.