Made available in DSpace on 2016-04-28T20:38:06Z (GMT). No. of bitstreams: 1 Cinthia de Carvalho Lourenco.pdf: 1539301 bytes, checksum: 29ed2eb1e4e5cf5ecfa5fb371c34370a (MD5) Previous issue date: 2012-05-07 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / In the context of Post-Modernity society has been facing numerous changes in the families shapes. One of them is the attempt of a young adult to leave and, later, return to the parental home. In order to understand what motivates such phenomenon, a qualitative research including case study was made. The theoretical assumptions underlining this paper are researches and literature discussing the subject, as well as authors of the Family Systems Theory, but aiming for a differentiated interpretation. The analysis of the interviews was conducted under two guidelines: differentiation and general aspects of the exits and returns of the son to the parents house, a summary about the family s life history and a genogram. The research provided data showing the cycle of leaving and coming back to parent s house is related to certain aspects of a family dynamics, to the relationship between parents and sons and social and economic characteristics of our contemporary reality. It was noted there are few researches about the subject, especially related to its psychological aspects. Data found in current literature refers mainly about the prolonged stay of young adult with his/her parents. Therefore, it is necessary to further research on the topic in question / No contexto da Pós-Modernidade deparamo-nos com inúmeras modificações nos contornos familiares. Uma delas é a tentativa dos filhos de saírem e retornarem ao lar parental. Buscando compreender quais fatores motivam esse fenômeno foi realizada uma pesquisa qualitativa com delineamento de estudo de caso. Os pressupostos teóricos utilizados neste trabalho envolveram pesquisas e literatura que abordam o tema, bem como os autores da Teoria Sistêmica, com vistas no processo de diferenciação. A análise do conteúdo das entrevistas foi realizada em torno de dois eixos: diferenciação e aspectos gerais das saídas e retornos do filho à casa dos pais, elaborado um resumo sobre a história de vida dessa família e construído seu genograma. O conhecimento gerado demonstrou que as idas e vindas à casa dos pais relacionam-se aos aspectos da dinâmica familiar, ao vinculo e relacionamento estabelecido entre pais e filha, e as características do contexto socioeconômico da contemporaneidade. Averiguou-se que há pouco registro de estudos sobre o assunto, principalmente no que se refere aos aspectos psicológicos que o permeiam. Os dados encontrados na literatura atêm-se ao prolongamento dos filhos na casa dos pais, portanto, fazem-se necessárias novas pesquisas acerca do tema em questão

Submitted by RONALDO MEDEIROS (medeirossre@hotmail.com) on 2015-11-24T18:57:49Z No. of bitstreams: 1 Dissertação de Mestrado da FGV - RONALDO RAIMUNDO MEDEIROS - versão final.pdf: 1446785 bytes, checksum: bfe6567afb7c93013fe71c693f23fb66 (MD5) / Approved for entry into archive by Renata de Souza Nascimento (renata.souza@fgv.br) on 2015-11-24T19:01:29Z (GMT) No. of bitstreams: 1 Dissertação de Mestrado da FGV - RONALDO RAIMUNDO MEDEIROS - versão final.pdf: 1446785 bytes, checksum: bfe6567afb7c93013fe71c693f23fb66 (MD5) / Made available in DSpace on 2015-11-25T11:14:43Z (GMT). No. of bitstreams: 1 Dissertação de Mestrado da FGV - RONALDO RAIMUNDO MEDEIROS - versão final.pdf: 1446785 bytes, checksum: bfe6567afb7c93013fe71c693f23fb66 (MD5) Previous issue date: 2015-08-26 / A partir da constatação da falta de uniformidade das decisões do contencioso administrativo tributário estadual (CATE) sobre um mesmo tema específico do ICMS, a exemplo das saídas por transferência de mercadorias entre estabelecimentos pertencentes ao mesmo titular, cuja normatividade legal vigente se encontra positivada no inciso I do art. 12, da Lei Complementar nº 87/96, este trabalho objetiva estudar, por meio de uma pesquisa qualitativa de jurisprudência realizada junto aos Tribunais Administrativos Estaduais, que disponibilizam suas decisões na rede mundial de computadores (internet), se a existência de jurisprudência sumulada do Superior Tribunal de Justiça (STJ) sobre esse tema controvertido do ICMS (Enunciado de Súmula nº 166) contribuiu para dar uma maior segurança jurídica à dimensão crítica da relação jurídica tributária, no sentido de tornar mais previsível e isonômica a lide administrativa de natureza tributária. De acordo com a amostra de jurisprudência administrativa obtida de diferentes Tribunais Administrativos Estaduais, podemos concluir que a existência de jurisprudência sumulada do STJ não está tendo, majoritariamente, eficácia no CATE, pelos argumentos mais diversos classificados e agrupados no presente trabalho, os quais servirão, juntamente com a dogmática jurídica existente sobre o tema, como alicerce à resposta normativa a ser sugerida de como as justiças administrativas estaduais deveriam interpretar a jurisprudência dos Tribunais Superiores (STF e STJ), com vista a tornar o contencioso administrativo tributário mais previsível e isonômico, e, desta forma, contribuir para a efetivação da tão almejada justiça fiscal. / Based on the observation of lack of uniformity of decisions of the state administrative tax litigation (CATE), on the specific subject of the incidence of ICMS, like the outputs for transfer of goods between establishments belonging to the same owner, whose current legal normativity is positively valued in item I of Article 12 of Complementary Law No. 87/1996, this study aims at investigating, by means of case through a qualitative research of jurisprudence held with the State Administrative Courts, which provide their decisions on the world wide web (internet), the existence of precedent jurisprudence of the Superior Court of Justice – (STJ), about this controversial subject of ICMS (Statement of Precedent No. 166),contributed to give greater legal certainty to the state tax administrative proceedings, in making the most predictable administrative litigation and isonomic in relation to the decisions of those Fiscal Administrative Justice Organs of second instance. According to the sample of administrative jurisprudence obtained from different State Administrative Courts, we can conclude that the existence of this precedent jurisprudence of the STJ is not having, mainly, effectiveness in CATE, by the most diverse arguments grouped and classified in this work, which will serve, along with the existing legal doctrine on the subject as the foundation for the normative answer to be suggested on how the state administrative justices should interpret the jurisprudence of the Superior Courts (STF and STJ), in order to make the tax administrative litigation more predictable and isonomic, and thus contribute to the realization of the so aspired tax justice.

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2016-09-28T12:33:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) / Made available in DSpace on 2016-09-28T12:33:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) Previous issue date: 2016-02-26 / High trustworthiness levels are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also desired to clearly and formally state the conditions necessary to guarantee that an implementation is correct with respect to its specification by means of a conformance relation, which can be used to prove that the test generation strategy is sound. Despite the benefits of MBT, those who are not familiar with the models syntax and semantics may be reluctant to adopt these formalisms. Furthermore, most of these models are not available in the very beginning of the project, when usually natural-language requirements are available. Therefore, the use of MBT is postponed. Here, we propose an MBT strategy for generating test cases from controlled naturallanguage (CNL) requirements: NAT2TEST, which refrains the user from knowing the syntax and semantics of the underlying notations, besides allowing early use of MBT via naturallanguage processing techniques; the formal and semi-formal models internally used by our strategy are automatically generated from the natural-language requirements. Our approach is tailored to data-flow reactive systems: a class of embedded systems whose inputs and outputs are always available as signals. These systems can also have timed-based behaviour, which may be discrete or continuous. The NAT2TEST strategy comprises a number of phases. Initially, the requirements are syntactically analysed according to a CNL we proposed to describe data-flow reactive systems. Then, the requirements informal semantics are characterised based on the case grammar theory. Afterwards, we derive a formal representation of the requirements considering a model of dataflow reactive systems we defined. Finally, this formal model is translated into communicating sequential processes (CSP) to provide means for generating test cases. We prove that our test generation strategy is sound with respect to our timed input-output conformance relation based on CSP: csptio. Besides CSP, we explore the generation of other target notations (SCR and IMR) from which we can generate test cases using commercial tools (T-VEC and RT-Tester, respectively). The whole process is fully automated by the NAT2TEST tool. Our strategy was evaluated considering examples from the literature, the aerospace (Embraer) and the automotive (Mercedes) industry. We analysed performance and the ability to detect defects generated via mutation. In general, our strategy outperformed the considered baseline: random testing. We also compared our strategy with relevant commercial tools. / Testes baseados em modelos (MBT) consiste em criar modelos para especificar o comportamento esperado de sistemas e, a partir destes, gerar testes que verificam se implementações possuem o nível de confiabilidade esperado. No contexto de sistemas críticos, estes modelos são normalmente (semi)formais e deseja-se uma definição precisa das condições necessárias para garantir que uma implementação é correta em relação ao modelo da especificação. Esta definição caracteriza uma relação de conformidade, que pode ser usada para provar que uma estratégia de MBT é consistente (sound). Apesar dos benefícios, aqueles sem familiaridade com a sintaxe e a semântica dos modelos empregados podem relutar em adotar estes formalismos. Aqui, propõe-se uma estratégia de MBT para gerar casos de teste a partir de linguagem natural controlada (CNL). Esta estratégia (NAT2TEST) dispensa a necessidade de conhecer a sintaxe e a semântica das notações formais utilizadas internamente, uma vez que os modelos intermediários são gerados automaticamente a partir de requisitos em linguagem natural. Esta estratégia é apropriada para sistemas reativos baseados em fluxos de dados: uma classe de sistemas embarcados cujas entradas e saídas estão sempre disponíveis como sinais. Estes sistemas também podem ter comportamento dependente do tempo (discreto ou contínuo). Na estratégia NAT2TEST, inicialmente, os requisitos são analisados sintaticamente de acordo com a CNL proposta neste trabalho para descrever sistemas reativos. Em seguida, a semântica informal dos requisitos é caracterizada utilizando a teoria de gramática de casos. Posteriormente, deriva-se uma representação formal dos requisitos considerando um modelo definido neste trabalho para sistemas reativos. Finalmente, este modelo é traduzido em uma especificação em communicating sequential processes (CSP) para permitir a geração de testes. Este trabalho prova que a estratégia de testes proposta é consistente considerando a relação de conformidade temporal baseada em entradas e saídas também definida aqui: csptio. Além de CSP, foi explorada a geração de outras notações formais (SCR e IMR), a partir das quais é possível gerar casos de teste usando ferramentas comerciais (T-VEC e RT-Tester, respectivamente). Todo o processo é automatizado pela ferramenta NAT2TEST. A estratégia NAT2TEST foi avaliada considerando exemplos da literatura, da indústria aeroespacial (Embraer) e da automotiva (Mercedes). Foram analisados o desempenho e a capacidade de detectar defeitos gerados através de operadores de mutação. Em geral, a estratégia NAT2TEST apresentou melhores resultados do que a referência adotada: testes aleatórios. A estratégia NAT2TEST também foi comparada com ferramentas comerciais relevantes.