MENESES FILHO, Juarez de Lima. ArCatch: uma solução para verificação estática de conformidade arquitetural do tratamento de exceção. 2016. 81 f. Dissertação (Mestrado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Jonatas Martins (jonatasmartins@lia.ufc.br) on 2017-08-16T18:55:49Z No. of bitstreams: 1 2016_dis_jlmenesesfilho.pdf: 1440689 bytes, checksum: b5d68cda9ed0ed25ac65cb0ac5aacb9a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-08-17T11:14:12Z (GMT) No. of bitstreams: 1 2016_dis_jlmenesesfilho.pdf: 1440689 bytes, checksum: b5d68cda9ed0ed25ac65cb0ac5aacb9a (MD5) / Made available in DSpace on 2017-08-17T11:14:12Z (GMT). No. of bitstreams: 1 2016_dis_jlmenesesfilho.pdf: 1440689 bytes, checksum: b5d68cda9ed0ed25ac65cb0ac5aacb9a (MD5) Previous issue date: 2016 / Exception handling is a common error recovery technique employed to improve software robustness. However, studies have reported that exception handling is commonly neglected by developers and is the least understood and documented part of a software project. The lack of documentation and difficulty in understanding the exception handling design can lead developers to violate important design decisions, triggering an erosion process in the exception handling design. Architectural conformance checking provides means to control the architectural erosion by periodically checking if the actual architecture is consistent with the planned one. Nevertheless, available approaches do not provide a proper support for exception handling conformance checking. To fulfill this gap, this work proposes ArCatch: an architectural conformance checking solution to deal with the exception handling design erosion. ArCatch provides: (i) a declarative domain-specific language for expressing design constraints regarding exception handling; and (ii) a design rule checker to automatically verify the exception handling conformance. The usefulness and effectiveness of the approach was evaluated in an evolution scenario composed by 10 versions of an existing web-based Java system. Each version was checked against the same set of exception handling design rules. Based on the results and the feedback given by the system’s software architect, the ArCatch proved useful and effective in the identification of existing exception handling erosion problems and locating its causes in the source code. / O tratamento de exceções é uma técnica de recuperação de erros tipicamente empregada na melhoria da robustez de software. No entanto, estudos recentes relatam que o tratamento de exceção é comumente negligenciado pelos desenvolvedores e é a parte menos compreendida e documentada de um projeto de software. A falta de documentação e a difculdade em compreender o design do tratamento de exceção pode levar os desenvolvedores a violarem decisões de design importantes, desencadeando um processo de erosão no design do tratamento de exceção. A verifcação de conformidade arquitetural fornece meios para controlar a erosão arquitetural, verifcando periodicamente se a arquitetura real mantem-se consistente com a arquitetura planejada. No entanto, as abordagens disponíveis não fornecem um suporte adequado para verificação da conformidade do tratamento de exceção. Para preencher essa lacuna, neste trabalho é proposta ArCatch: uma solução de verificação de conformidade arquitetural para lidar com a erosão do design do tratamento de exceção. ArCatch fornece: (i) uma linguagem específica de domínio declarativa para expressar restrições de design relativas ao tratamento de exceção; e (ii) um verificador de regras de design para verificar automaticamente a conformidade do tratamento de exceção. Foi avaliada a utilidade e a eficácia da abordagem proposta em um cenário de evolução composto por 10 versões de um sistema Java web existente. Cada versão foi verificada contra o mesmo conjunto de regras de design de tratamento de exceção. Com base nos resultados e no feedback fornecido pelo arquiteto de software do sistema, a ArCatch provou ser útil e eficaz na identifcação de problemas de erosão do tratamento de exceção existentes e localizar suas causas no código-fonte.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-22T21:55:16Z No. of bitstreams: 1 GilbertoAntonioGorrichateguiVasquez_DISSERT.pdf: 1855159 bytes, checksum: 51bfff3bef02d3a29365a91ca8f80a45 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-24T00:34:39Z (GMT) No. of bitstreams: 1 GilbertoAntonioGorrichateguiVasquez_DISSERT.pdf: 1855159 bytes, checksum: 51bfff3bef02d3a29365a91ca8f80a45 (MD5) / Made available in DSpace on 2016-02-24T00:34:39Z (GMT). No. of bitstreams: 1 GilbertoAntonioGorrichateguiVasquez_DISSERT.pdf: 1855159 bytes, checksum: 51bfff3bef02d3a29365a91ca8f80a45 (MD5) Previous issue date: 2005-07-06 / A qualidade final das obras realizadas pela ind?stria da constru??o civil depende diretamente da qualidade dos materiais fornecidos e utilizados durante todas as fases de execu??o das mesmas. A participa??o do Governo Federal e diversos programas em n?vel estadual t?m estabelecido condi??es para estimular e exigir a eleva??o do n?vel de qualidade na cadeia produtiva da ind?stria da constru??o civil. Estes programas visam a conformidade dos produtos ?s normas t?cnicas. Dentro deste contexto, o programa de avalia??o da conformidade de produtos cer?micos do RN, est? avaliando o grau de conformidade ?s normas t?cnicas brasileiras dos blocos e telhas cer?micas produzidos no p?lo cer?mico do estado. Neste trabalho ? determinado o grau de conformidade e n?o-conformidade de blocos cer?micos de veda??o produzidos por algumas empresas em diferentes regi?es do RN, tais como: Ass?, S?o Gon?alo do Amarante, Apodi, Parelhas, S?o Jos? do Mipibu e Maca?ba. Utilizando-se as normas t?cnicas como refer?ncia, se procuraram reproduzir em laborat?rio, os procedimentos experimentais para a realiza??o dos ensaios, tal como estipulado nelas. Foi poss?vel determinar que nenhuma das amostras das empresas avaliadas est? plenamente conforme com as normas t?cnicas vigentes, o que reflete a condi??o imperante no mercado. / The final quality of the works accomplished by the building construction industry depends directly on the quality of the materials supplied and used during all their phases of execution. The federal government participation and several state programs have established conditions to stimulate and require the increment of the quality level in the building construction industry?s product chain. These programs aim at the product conformity to the technical standards. Within this context, the evaluation program of the ceramic product conformity in Rio Grande do Norte state is assessing the conformity degree to Brazilian Technical Standards of ceramic bricks and tiles made in the ceramic production area in the state. In this work, is determine the degree of conformity of the sealing ceramic bricks made by some companies in different areas of the state, such as Ass?, S?o Gon?alo do Amarante, Apodi, Parelhas, S?o Jos? do Mipibu e Maca?ba. Using the technical standards as a point of reference, we attempted to reproduce in the laboratory the experimental procedures to the analysis execution, according to the specifications. It was possible to determine that none of the evaluated samples are in strict conformity with the current technical standards, what reflects the real situation of the products available on the market.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração, Contabilidade e Ciência da Informação e Documentação, 2007. / Submitted by Raquel Viana (tempestade_b@hotmail.com) on 2009-11-24T16:05:35Z No. of bitstreams: 1 2007_AdrianoBritoReboucasFreitas.pdf: 529335 bytes, checksum: 9fe3d6c831c90232792d5dbb20024f4b (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2009-11-24T18:06:40Z (GMT) No. of bitstreams: 1 2007_AdrianoBritoReboucasFreitas.pdf: 529335 bytes, checksum: 9fe3d6c831c90232792d5dbb20024f4b (MD5) / Made available in DSpace on 2009-11-24T18:06:40Z (GMT). No. of bitstreams: 1 2007_AdrianoBritoReboucasFreitas.pdf: 529335 bytes, checksum: 9fe3d6c831c90232792d5dbb20024f4b (MD5) Previous issue date: 2007 / A presente pesquisa investiga o problema da evasão da contribuição social sob a perspectiva dos modelos de escolhas racionais. Na primeira parte da pesquisa, foram identificadas na literatura especializada as variáveis consideradas determinantes sobre as decisões relativas ao pagamento de tributos. Posteriormente, as variáveis encontradas foram contextualizadas na legislação fiscal e nos procedimentos das autoridades tributárias no tocante à contribuição social destinada ao financiamento da Previdência Social. Foi construído um banco de dados contendo as variáveis explicativas da evasão da contribuição social - opção pelo SIMPLES, adesão ao REFIS, número de certidões negativas de débito emitidas, auditoria, tamanho da empresa e atividade econômica. A variável dependente do estudo é chamada de índice de conformidade, considerada uma proxy da evasão tributária. O resultado da regressão confirma a relação prevista entre conformidade tributária e suas variáveis explicativas, conforme apontada na literatura sobre evasão. As empresas optantes pelo SIMPLES, na média, possuem níveis de conformidade significativamente mais elevados que aquelas não optantes. O número de certidões negativas de débito emitidas para uma empresa também está positivamente correlacionado ao seu nível de conformidade com a contribuição social. O total de salários pagos pelas empresas, utilizado como representativo do seu tamanho, indica que maiores empresas possuem maiores índices de evasão. A adesão ao REFIS não produziu alterações no índice de conformidade das empresas. Não foi encontrada uma relação significativa entre as auditorias realizadas pelo fisco e o nível de conformidade, provavelmente em virtude do modo como esta variável foi operacionalizada. Diante dos resultados encontrados, recomendam-se outros estudos a partir das conclusões desta pesquisa, a fim de ratificar ou não seus resultados e ampliar seu escopo. Ao final, sugere-se a participação ativa dos órgãos responsáveis pela administração tributária no processo de construção do conhecimento sobre o fenômeno da evasão tributária no Brasil. ___________________________________________________________________________________________ ABSTRACT / This research deals with the problem of social security tax evasion using the rational choice model perspective. In its first part, it comprises a literature research aiming at identifying the determinant variables that act upon the decisions about whether or not to comply with the taxes. After that, it contextualizes the variables in the tax legislation and the tax administration practices related to social security tax that finances Brazilian Social Security system. It builds a database that contains the variables that explains these taxes evasion. These are: whether or not to adopt the SIMPLES and the REFIS, the number of no tax debt warrants and audits, the size of the firm and its economic sector. The dependent variable – the Conformity Index – was considered a proxy of tax evasion. The regression results confirm the existence of dependence of tax compliance on previously identified variables, confirming what was indicated by the literature. The firms that opted for the SIMPLES, on average, have greater levels of conformity than the others. The number of no tax debt warrants issued to a firm, is also positively related to levels of compliance with the social security tax. The total salary paid by the firms, a variable used as representative of its size, indicates that greater firms have higher levels of evasion. The adoption of the REFIS did not alter the levels of compliance. And it was not found any significant relation between the numbers of audits and the level of tax compliance. This is probably due to the way this variable was conceptualized. Further research is recommended in order to ratify these results, and to enhance the scope of the research. The final part of the research suggests an active participation of the taxes administration organizations, in order to develop a better understanding of the phenomenon of Tax Evasion in Brazil.

Made available in DSpace on 2014-06-12T15:57:50Z (GMT). No. of bitstreams: 2 arquivo3233_1.pdf: 1717748 bytes, checksum: fc31dd5d633c8fe2f7bf27b2e26c7705 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A aquisição de serviços de Tecnologia da Informação (TI) pela Administração Pública (AP) se faz necessária para a melhoria do atendimento à sociedade e ao cidadão. Nos serviços de desenvolvimento de software são necessários métodos de gerenciamento de seus processos. Para o setor público também se faz necessário o atendimento a requisitos legais do processo licitatório. Ao mesmo tempo em que a Administração Pública busca soluções de TI, a sua implementação nem sempre é bem sucedida, por planejamento insuficiente, por contestações na publicação do edital de licitação pública ou por problemas no gerenciamento de seus contratos. Na revisão realizada na literatura, ficou evidenciado que um dos problemas da aquisição pública está em sua gestão. A gestão de contratos de serviços exige cuidados especiais e novas competências do pessoal de TI, especialmente em relação à legislação vigente. Assim surge uma indagação: existe um modelo de processo de engenharia que possa orientar o gestor público na aquisição de serviços de desenvolvimento de software que seja aderente ao marco legal? O objetivo deste trabalho é propor um processo de aquisição de serviços de TI na AP adequado às diretrizes dadas pela Instrução Normativa MPOG nº 4/2008. O foco escolhido foi a fase de gerenciamento do contrato de aquisição de serviços de TI. Neste trabalho, o serviço de TI a ser adquirido está restrito ao desenvolvimento completo de software. A metodologia adotada dividiu o trabalho em cinco fases. Inicialmente buscou-se uma revisão teórica de modelos e padrões de aquisição, bem como uma revisão do marco legal. A segunda fase foi realizada com entrevistas a gestores de TI de órgãos de esferas e poderes diversos da AP. A terceira fase foi dedicada ao desenvolvimento da primeira versão da proposta de modelo de processo. Aqui foi feita a publicação da proposta na web e desenvolvido um questionário para a fase seguinte. Na quarta fase houve uma pré-avaliação do modelo com gestores públicos experientes em serviços de TI. Foram realizadas entrevistas apresentando o modelo na web e foi solicitado o retorno de contribuições técnicas pelo questionário desenvolvido também disponível na web. A última fase foi uma validação final através de questionários via web com uma solicitação dirigida aos especialistas por e-mail. O processo de gerenciamento da execução do contrato de aquisição proposto segue as diretrizes dadas pela Instrução Normativa nº 4/2008, é referenciado pelas melhores práticas e modelos da literatura técnica e acadêmica, por trabalhos relacionados, bem como pelo referencial legal consultado. É dirigido para uso na Administração Pública e para aqueles que adquirem segundo a Lei nº 8.666/1993. A solução contempla fluxos de atividades, descrição de tarefas com instruções, artefatos, responsáveis, templates e referências. Parte deste modelo de processo é um guia para uso pelo gestor do contrato, acessível na web com navegação por hipertextos. Este processo foi submetido a gestores de aquisição de serviços de TI na AP, em um processo de validação, que consideraram a solução como adequada e que pode ser uma referência na gestão da fase do gerenciamento do contrato

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-15T15:01:06Z No. of bitstreams: 1 AMANDA SARAIVA BEZERRA - DISSERTAÇÃO PPGCC 2008..pdf: 5823735 bytes, checksum: 68f742006dbac9f251bc1a10ef99a69a (MD5) / Made available in DSpace on 2018-08-15T15:01:06Z (GMT). No. of bitstreams: 1 AMANDA SARAIVA BEZERRA - DISSERTAÇÃO PPGCC 2008..pdf: 5823735 bytes, checksum: 68f742006dbac9f251bc1a10ef99a69a (MD5) Previous issue date: 2008-11-28 / Capes / Verificar o comportamento de Sistemas Distribuídos é difícil. Algumas técnicas, como Model Checking, tentam garantir a corretude comportamental de um sistema analisando todos os seus caminhos de execução. Entretanto, esta técnica é limitada para a análise de sistemas consideravelmente pequenos. A técnica de Design by Contract (DbC) sugere a construção de um conjunto de asserções que devem ser verificadas em tempo de execução. Estas asserções são checagens instantâneas, podendo estas serem atendidas ou violadas. Como DbC não dá suporte à verificação de asserções temporais, cuja checagem deve ser realizadas sobre vários instantes,então construímos uma técnica que possibilita a verificação comportamental de Sistemas Distribuídos, verificando se a execução apresentada está de acordo com os requisitos comportamentais definidos para o sistema. Inicialmente é necessário definir os requisitos, que devem descrever o comportamento desejado para o sistema. Como estes requisitos devem ser checagens contínuas utilizamos a Lógica Temporal Linear (LTL) para descrever a evolução do comportamento ao longo do tempo. Usamos então LTL para definir o conjunto de propriedades comportamentais especificadas para o sistema distribuído implementado em Java. Cada propriedade comportamental deve ser verificada sobre um conjunto específico de objetos do sistema, são os chamados pontos de interesse. Este pontos têm relação direta e devem obedecer a uma determinada propriedade comportamental. Durante a execução é realizada a captura de informações dos pontos de interesse a serem analisados, esta captura é feita usando a Programação Orientada a Aspectos (POA). A linguagem AspectJ, implementação de POA, possibilita a captura de informações sem a necessidade de modificar o código fonte do sistema a ser analisado. Durante a execução do sistema é realizada a monitoração, além da captura da informação, sendo necessária uma ordenação parcial dos eventos provocados pelos processos que compõem o sistema distribuído. A ordenação é feita com base na relação de causa e efeito entre os eventos, assim usamos o conceito de Relógios Lógicos, que possibilita uma ordenação parcial dos eventos gerados durante a execução do sistema. Após a captura e organização dos eventos, é realizada a verificação comportamental apresentada pelos eventos de acordo com o conjunto de propriedades definidas para tal. Se em algum momento desta verificação alguma propriedade for violada, então dizemos que foi encontrado um comportamento inesperado ou anômalo, de acordo com o especificado. Esta violação é apresentada para o desenvolvedor ou testador do sistema, que tomará as devidas providências para localizar e corrigir a violação detectada. Como prova de conceito, implementamos a ferramenta DistributedDesignMonitor (DDM), realizando a monitoração de Sistemas Distribuídos implementados na linguagem Java. O DDM é apresentado e discutido através de experimentos realizados com a ferramenta, mostrando como fazer uso da técnica de monitoração. / Verify Distributed Systems is very hard. Some techniques, Model Checking for example, trying to grant the behavioral correctness analyzing all the execution paths for these systems. However, this technique is limited to check small systems. The Design by Contract technique (DbC) suggests makes a set of assertions that should be verified at runtime. These assertions are instant checks, which could be satisfied or violated. As DbC does not support the verification of temporal assertions, which check should be done over a lot of instant time for the execution, so we built a technique that verifies the Distributed Systems' behavior, verifying if the system execution is in accordance with the behavior requirements for it Initially is necessary the requirement definition, which should describe the desired system behavior. These requirements should be continuous checks, so we use the Linear Temporal Logic (LTL) to describe the evolution of the behavior over the time. The LTL is used to define set of behavioral properties specified for a Java Distributed System. Each behavioral property should be verified over defined objects of the system, they are the points of interest. These points should obey to the behavioral property defined for them. During the execution the information catch of each point of interest is done by the Aspect Oriented Programming (AOP). The language AspecU makes possible the capture of runtime information without intrusiveness. During the system execution starts the monitoring, being necessary a partial order of the events of the distributed system processes. The ordering is done based on the relation of cause and effect between events, so we use the Logical Clocks to do this partial order. After the capture and the organization of the events, the behavioral verification is done in accordance with the specified properties defined for this system. If some violation was detected during the system verification, so we found an inconsistent or unexpected behavior, in accordance with the specification. This violation is showed to the system developer or tester, which will correct the analyzed system. In this work we implemented the DistributedDesignMonitor (DDM) tool to prove our concept, monitoring Distributed Systems implemented in Java language. O DDM is presented and discussed using experiments, showed how use the monitoring technique

nÃo hà / Tax compliance costs are sacrifices of resources to understand and comply with all formalities which are required by tax law. In Brazil, those formalities of the tax laws are among the most complex and bureaucratic in the world and this has a direct influence on business costs, either for the payment of taxes in itself, is to meet the requirements of the legislation. The theme has attracted scientific interest, with the relatively recent development of research in the world, yet there are few studies in Brazil. This work aimed to investigate the perception of managers of a public organization to provide services about the tax compliance costs. The following specific objectives were defined: 1) identify the main factors that generate and increase tax compliance costs the Post Office; 2) identify areas where compliance costs occur with greater intensity at the Post Office, and 3) Identify postal managers of the differences of perception about tax policies, tax regulations and compliance costs. To achieve the objectives, research was conducted in a descriptive exploratory, applied in correios (ECT). As for the media, literature search was conducted, documentary and field study. Documents were consulted as management reports, financial statements and manuals of ECT. The field research was conducted by using a questionnaire adapted from Maia (2007), applied to 104 tax managers of Posts, distributed in all Brazilian states. As for the results, it was concluded that: the complexity of the legislation, the various changes in tax regulations and the various federal, state and local jurisdictions are the main generators aspects of compliance costs on taxation in the ECT, according to the perceptions of their managers. With regard to the incurrence of compliance costs, it was observed that the economic and financial, legal and personal area are the most common. The results showed that the authorities continually increase the tax burden, and the demands of the increasingly technical sector. It was found that excess ancillary obligations undermines the competitiveness of the company surveyed. It was also concluded that tax policies need to be rethought in which they relate to compliance costs and fiscal decentralization is high cost to taxpayers. / Custos de conformidade à tributaÃÃo sÃo sacrifÃcios de recursos necessÃrios para compreender e cumprir todas as formalidades que sÃo exigidas pela legislaÃÃo tributÃria. No Brasil, essas formalidades da legislaÃÃo tributÃria estÃo entre as mais complexas e burocratizadas do mundo e isso tem influÃncia direta nos custos das empresas, seja para realizar o pagamento dos tributos em si, seja para atender as exigÃncias da legislaÃÃo. O tema tem atraÃdo o interesse cientÃfico, com o desenvolvimento relativamente recente de pesquisas no mundo, contudo ainda hà poucos estudos no Brasil. Este trabalho teve como objetivo geral investigar a percepÃÃo dos gestores de uma organizaÃÃo pÃblica de prestaÃÃo de serviÃos acerca dos custos de conformidade à tributaÃÃo. Foram definidos os seguintes objetivos especÃficos: 1) identificar os principais fatores que geram e aumentam os custos de conformidade à tributaÃÃo nos Correios; 2) Identificar as Ãreas onde os custos de conformidade ocorrem com maior intensidade nos Correios;e 3) Identificar as diferenÃas de percepÃÃo dos gestores dos Correios acerca das polÃticas tributÃrias, regulamentaÃÃo tributÃria e custos de conformidade. Para o alcance dos objetivos, foi desenvolvida pesquisa de natureza exploratÃria descritiva, aplicada na Empresa Brasileira de Correios e TelÃgrafos (ECT). Quanto aos meios, foi realizada pesquisa bibliogrÃfica, documental e estudo de campo. Foram consultados documentos como relatÃrios de gestÃo, demonstraÃÃes contÃbeis e manuais da ECT. A pesquisa de campo foi realizada por meio da utilizaÃÃo de questionÃrio adaptado de Maia (2007), aplicado a 104 gestores tributÃrios dos Correios, distribuÃdos em todos os Estados da FederaÃÃo. Quanto aos resultados, concluiu-se que : a complexidade da legislaÃÃo, as diversas alteraÃÃes das normas tributÃrias e as diversas jurisdiÃÃes federal, estadual e municipal sÃo os principais aspectos geradores de custos de conformidade à tributaÃÃo na ECT, segundo a percepÃÃo de seus gestores . No que se refere à incorrÃncia dos custos de conformidade, observou-se que as Ãreas econÃmico-financeira, a jurÃdica e a Ãrea de pessoal sÃo as de maior incidÃncia. Os resultados evidenciaram que as autoridades aumentam continuamente o Ãnus tributÃrio, sendo as exigÃncias do setor cada vez mais tÃcnicas. Verificou-se que o excesso de obrigaÃÃes acessÃrias prejudica a competitividade da empresa pesquisada. Concluiu-se tambÃm que as polÃticas tributÃrias precisam ser repensadas no que se referem aos custos de conformidade e que a descentralizaÃÃo fiscal representa alto custo para os contribuintes.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-31T22:55:43Z No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5) / Made available in DSpace on 2018-08-31T22:55:43Z (GMT). No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5) Previous issue date: 2013-03-15 / A escrita de especificações formais por contratos é uma maneira confiável e prática de construir softwares, em que desenvolvedores e clientes mantêm um acordo contendo direitos e obrigações a serem cumpridos. Essas responsabilidades são expressas basicamente através de pré-condições, pós-condições, e invariantes. Como exemplo de linguagem de especificação por contrato tem-se Java Modeling Language (JML) específica para programas Java. Apesar de a especificação formal melhorar a confiabilidade do software, deve-se haver certificação de que a implementação está em conformidade com a especificação definida. Verificação de conformidade em programas com contratos é geralmente realizada através de análises manuais ou verificação dinâmica, e em fases tardias do processo de desenvolvimento do software, ou seja, quando o produto final encontra-se disponível para o cliente. Nesta situação, o tempo despendido para detectar não-conformidades pode ser muito longo, ocasionando, consequentemente, atrasos no cronograma e aumento nos custos. Neste trabalho, propomos uma abordagem para checar conformidade entre código fonte e especificação formal por contratos através da geração e execução de testes. Testes de unidade são gerados automaticamente, resultando em casos de testes com sequências de chamadas aos métodos e construtores. Os contratos são transformados em assertivas que funcionam como oráculo para os testes. Esta abordagem não garante corretude total do software, mas aumenta a confiança quando uma não-conformidade é encontrada e, além disso, encoraja o uso de especificação por contratos. Nós implementamos JMLOK, uma ferramenta que executa os passos desta abordagem automaticamente no contexto de programas Java especificados com Java Modeling Language (JML). JMLOK foi avaliada em grupos de programas Java/JML, incluindo um módulo do projeto JavaCard. Todas as unidades experimentais totalizam 18 KLOC e 5K de linhas de especificação JML. Todo o processo consumiu menos que 10 minutos de execução e gerou como resultado a detecção de 29 não-conformidades. As causas das ocorrências das não-conformidades foram analisadas manualmente e classificadas em categorias de falhas. / Writing formal specifications by contracts is a practical and reliable way to build softwares in which developers and clients keep an agreement with rights and obligations to be fulfilled. These responsibilities are expressed basically by pre-conditions, post-conditions and invariants. As example of specification language by contract there is Java Modeling Language (JML) that is specific to Java programs. Although formal specification improves software rehabihty, it should exist certification of conformance with defined specification. Verify conformance between programs and contracts is usually performed by manual analysis or dynamic verification, and in late stages of software development process, that is, when the final product is available to client. In this situation, the time required to detect nonconformances could be so long, causing, consequently, schedule delays and increased costs. In this work, we propose an approach to check conformance between source code and contract formal specification through testing generation and execution. Unit tests are generated automatically resulting in test cases with call sequences of methods and constructors. The contracts are translated in assertions that work like test oracle. We have implemented JMLOK, a tool performs the approach steps automatically in the context of Java programs specified with Java Modeling Language (JML). JMLOK was evaluated in Java/JML programs groups, including a module of the JavaCard project. All the experimental units totalize 18 KLOC and 5K lines of JML specification. All process took less than 10 minutes of running and generated as result 29 nonconformances. The causes of nonconformances occurring were analyzed manually and classified in categories of fails.

[pt] Leis e regulamentos afetam o desenvolvimento de software, já que freqüentemente exigem mudanças nos requisitos de software para proteger indivíduos e empresas em relação à segurança, privacidade, governança, sustentabilidade e muito mais. Requisitos legais podem ditar novos requisitos ou restringir os existentes. O problema da conformidade de software é como garantir que o software esteja em conformidade com as normas impostas pela legislação. O problema é particularmente desafiador porque combina etapas difíceis: 1) analisar documentos legais, 2) extrair requisitos desses documentos, 3) identificar requisitos conflitantes com aqueles já implementados em software e 4) garantir que o software permaneça compatível mesmo com as alterações. A conformidade é um processo contínuo: as leis, o software e o contexto no qual o sistema de software opera mudam continuamente. Os trabalhos que lidam com o problema de conformidade concentram-se apenas em um ou dois assuntos: analisar documentos legais ou extrair requisitos ou identificar conflitos ou mudanças. Esta tese trata de todos os problemas ao mesmo tempo; a ideia é extrair requisitos do texto legal, compará-los com o requisito de software, resolver os possíveis conflitos que possam surgir, lidando continuamente as mudanças no ambiente, leis e requisitos. Para tanto, este trabalho propõe um framework que é composto por um processo de compliance e monitoramento contínuo das mudanças ambientais. O processo de conformidade suporta a identificação, extração, comparação e resolução de conflitos para ajudar na conformidade do software, produzindo um conjunto conforme de requisitos. O processo de conformidade é baseado na anotação semântica e no modelo de meta. A anotação semântica ajuda a extrair requisitos do arquivo, usando padrões. O modelo de meta é usado para ajudar na comparação entre requisitos e representar requisitos em uma especificação de requisitos formal e consistente. O processo é suportado por ferramentas; sendo algumas reutilizadas (Desiree e NomosT) para avançar cada etapa. Foi necessário adaptar as ferramentas para o contexto do processo de conformidade, criando diretrizes, padrões e heurísticas. O monitoramento contínuo está preocupado com as mudanças que afetam a conformidade do software e tem o mecanismo para garantir que, mesmo com essas mudanças, o software recupere a conformidade. O monitoramento da conformidade é baseado em agentes e requisitos não funcionais. Os agentes são representados usando em i, a idéia é mostrar a colaboração entre os agentes para garantir a conformidade contínua. A especificação de requisitos de como cada agente deve se comportar também foi gerada usando a linguagem Desiree e BPMN. O catálogo de Requisitos Não Funcionais é usado para ajudar a definir as operações para o reconhecimento de software. A validação do framework foi feita em duas partes: primeiro, o processo de compliance e após todo o framework proposto. Para o processo de conformidade, o esforço e a exatidão foram medidos comparando o uso do processo proposto e um método ad-hoc. Para todo o framework, foi usado o exemplo de monitoramento das mudanças no ambiente quando um carro automatizado cruza a fronteira entre Washington e o Canadá. A contribuição deste trabalho é a estrutura da Eunomia, que tem uma perspectiva de processo e modelo de metas, com ênfase no monitoramento que ajuda a lidar com o desafio da conformidade. O framework equipa a equipe de engenharia de requisitos com um método sistemático e suportado por ferramentas que pode ser reutilizado para reduzir o esforço de tempo e melhorar a qualidade da especificação de requisitos. / [en] Laws and regulation affect software development, as they frequently demand changes in software requirements to protect individuals and businesses regarding security, privacy, governance, sustainability and more. Legal requirements can dictate new requirements or constrain existing ones. The problem of software compliance is how to ensure that the software complies with the norms that the legislation imposes. The problem is particularly challenging because it combines difficultsteps: 1)analyze legal documents, 2) extract requirements from those documents, 3) identify conflictingrequirements with those already implemented in software and 4) ensure that software remains compliant even with the changes. Compliance is a continuous process: laws, software and the context within which software system operates changes continuously. The works dealing with the compliance problem focus only on one or two subjects: analyze legal documents or extract requirements or identify conflicts or changes. This thesis deals with all the problems at the same time; the idea is to extract requirements from legal text, compare them with the software requirement, resolve the possible conflicts that may arise, continuously leading with the changes on environment, laws and requirements. For this, this work proposes a framework that is composed of a compliance process and continuous monitoring of environmental changes. The framework deals with different types of laws (security, privacy, transparency, health care) that are represented in explicit norms. The compliance process supports the identification, extraction, comparison and conflict resolution to help software compliance, by producing a compliant set of requirements. The compliance process is based on the semantic annotation and goal model. The semantic annotation helps to extract requirements from thelaw, using patterns. The goal model is used to help the comparison between requirement and to represent requirements in a formal and consistent requirement specification. The process is tool supported; some tools were reused (Desiree and NomosT) to further each step. It was necessary to adapt the tools for the context of the compliance process, creating a guideline, patterns, and heuristics. The continuous monitoring is concerned about the changes that affect the software compliance and has presented using in i, the idea is to showthe collaboration between the agents to ensure the continuous compliance. The requirement specification of how each agent should behave was also generated using Business Process Modeling Notation and Desiree language. The Non Functional Requirements catalogue is used to help to define operalizations for the software awareness. The framework validation was made in two parts: first, the compliance process and after all the framework proposed. For the compliance process, the effort and correctness were measured comparing the use of the proposed process andan ad-hoc method. For the entire framework, the example of monitoring the changes in the environment when an automated car is crossing the border between Washington and Canada was used. The study shows that context has a strong influence on the software requirements, and nonconformity problems may incur penalties. The contribution of this work is the Eunomia framework that has a process and goal model perspective with emphasis on monitoring that helps to deal with the compliance challenge. The framework equips the requirements engineering team with a systematic method. Eunomia framework is a tool-supported and systematic process which can be reused to reduce the time effort and to improve the quality of the requirement specification that helps to create a compliant software requirement specification that is compliant over the time.

[pt] O objetivo da dissertação é contribuir para o avanço do conhecimento científico sobre os impactos da certificação de produtos por organismos acreditados em setores industriais selecionados no Brasil, mediante um estudo de casos múltiplos. No contexto institucional no qual a pesquisa se insere, considera-se que um sistema concebido para acreditar serviços de avaliação de conformidade dos Organismos de Avaliação de Conformidade (OAC) deve oferecer confiança aos consumidores e às autoridades reguladoras. A metodologia adotada compreende: (i) pesquisa bibliográfica e documental sobre acreditação, avaliação da conformidade e certificação de produtos; (ii) proposição de um modelo conceitual analítico que integre esses temas, na perspectiva de avaliação dos impactos da certificação de produtos por organismos acreditados em empresas de setores selecionados; (iii) planejamento e condução de entrevistas semi-estruturadas junto a gestores de organismos de certificação de produtos (OCP) e empresas selecionadas; (iv) elaboração de estudo de casos múltiplos; e (v) formulação de recomendações para as entidades envolvidas e interessadas na pesquisa. Destacam-se como resultados um modelo conceitual para avaliação dos impactos da certificação de produtos por organismos acreditados e um conjunto consistente de impulsionadores-chave e indicadores operacionais para medição dos impactos da certificação de produtos por organismos acreditados. / [en] The objective of this dissertation is to contribute to the advancement of scientific knowledge about the impacts of product certification by accredited organisms in selected industrial sectors, through a multiple case study in Brazil. In the institutional context in which this research is situated, it is assumed that accreditation plays a crucial role in achieving confidence and trust between suppliers and consumers, as well as regulatory authorities. The research methodology encompasses: (i) bibliographical and documental review on accreditation, conformity assessment and product certification; (ii) design of a conceptual model that integrates the referred themes, within the perspective of future application in companies from selected industrial sectors in Brazil; (iii) design, conduction, and scoring of semi-structured interviews with managers of selected accredited organisms and companies; (iv) development of a multiple case study focusing on these selected companies; and (v) formulation of suggestions for future research and application in other sectors in Brazil. The main results can be summarized as follows: a conceptual model for evaluating the impacts of product certification by accredited organisms; and a consistent set of key drivers and operational indicators for measuring the impacts of product certification by accredited organisms.

[pt] Com o crescente aumento da competitividade e a distribuição de software livre através da Internet, os fabricantes de software preocupam-se cada vez mais em produzir software de alta qualidade que de fato possa melhorar a vida das pessoas e oferecer uma experiência de uso agradável e produtiva. Para tanto, uma necessidade da indústria é que haja métodos e técnicas de avaliação desta experiência de uso. Existem ferramentas computacionais desenvolvidas para apoiar a aplicação de alguns métodos de avaliação existentes. Algumas delas são comerciais, outras foram desenvolvidas em universidades ou instituições nãogovernamentais. Há ainda as que foram desenvolvidas por órgãos governamentais. O foco deste trabalho é o método de avaliação de comunicabilidade, uma ferramenta epistêmica proposta pela Engenharia Semiótica - uma teoria semiótica da interação humano-computador. O método consiste de um procedimento sistemático para avaliar a experiência do usuário ao interagir com sistemas, enfatizando aspectos da comunicação. Apesar de ser ensinado em boa parte dos programas de graduação e pós-graduação em Informática brasileiros, o método não tem escala de utilização suficiente, para trazer novos conhecimentos para a área de pesquisa Interação Humano-Computador, nem tampouco para consolidarse como ferramenta para uso extensivo na prática profissional do mercado. Isto se deve às dificuldades existentes no ensino e aprendizado do método (Bim et al., 2007). Por isso o trabalho apresenta uma ferramenta computacional de apoio à aplicação da avaliação de comunicabilidade, especificamente projetada para facilitar o ensino e aprendizado do método. / [en] With increasing competition among software producers and free distribution of software over the Internet, there is a growing concern with developing highquality software, which can actually improve people's lives and allow for pleasant and productive use experience. To this end, one of the industry's needs is the availability of methods and techniques for evaluating use experience. Some computer tools have been developed to support the application of existing evaluation methods. Among them, some are commercial, others have been developed in universities, in non-governmental organizations, and some have even been developed by government agencies. The focus of this work is on the communicability evaluation method, an epistemic tool proposed by Semiotic Engineering, a semiotic theory of human-computer interaction. The method consists of a systematic procedure for evaluating the users' experience as they interact with systems, emphasizing the communicative aspects of the process. Although it is taught in a considerable number of graduate and undergraduate schools of Informatics in Brazil, the method is not sufficiently utilized to either generate new knowledge for human-computer interaction research, or consolidate itself as a tool for extensive professional practice. This is the consequence of difficulties in learning and teaching the method (Bim et al., 2007). Therefore, this work presents a computer tool to support the application of the communicability evaluation method, specifically designed to facilitate the teaching and learning of the method.