O presente trabalho pretende apresentar um modelo unificado para o tratamento das estabilidades processuais (coisa julgada e preclusões). Para tanto, parte de duas premissas fundamentais: a segurança como continuidade jurídica, uma forma dinâmica de proteger a estabilidade sem impedir alterações de conteúdo nos atos jurídicos estáveis; e, de outro lado, a concepção das estabilidades processuais como uma cadeia de vínculos em contraditório. A combinação destas premissas resgata o papel da argumentação jurídica no sistema da coisa julgada, retomando a importância da vinculatividade das razões de decidir; e também incorpora ao modelo uma dimensão interprocessual que visa a garantir harmonia e coerência ao tráfego jurídico. Com base nestes pilares, tenta-se propor parâmetros para uma nova compreensão dos limites objetivos e temporais da coisa julgada. No campo dos limites objetivos, destaca-se a elaboração em torno dos esquemas argumentativos, estruturas aglutinadas de elementos processuais referentes ao exercício do contraditório. Em relação aos limites temporais, procura-se elaborar um modelo de revisão das estabilidades que incorpore o novum sem impedir a mudança. Neste contexto, trabalham-se também mecanismos compensatórios para a superação das estabilidades, tais como o ônus argumentativo no procedimento de quebra, e as regras de transição editadas pelo próprio Poder Judiciário. / The present work intends to present a unified model for the juridical treatment of the procedural forms of stability (res iudicata and issue preclusions). For this purposes, it has two fundamental premises: on the one hand, security as legal continuity, a dynamic way to protect the stability without preventing changes in the content of stable acts. On the other hand, the conception of procedural stabilities as chains of binding links operated through the right to a fair hearing. With the combination of these aspects, the role of the argumentation and the exercise of procedural rights gain in importance to the system of res iudicata, reviving the bindingness not only of the conclusion but also of the reasoning of the judgement; and also provides an inter-procedural dimension in order to guarantee harmony and coherence to the whole of juridical relations. By means of this ideas, the present work proposes parameters to verify the objective and time limits of claim and issue preclusions. In regard of the object of preclusions, a bigger role plays the concept of argumentative schemes, linked structures of procedural elements that refer to the exercise of the right to a fair hearing. In terms of the time limits of preclusions, the present thesis focus on establishing a model of review that incorporates the novum without preventing change of content. Therefore it works with compensatory mechanisms to overcome stabilities like, for instance, the burden of argumentation in the proceeding and transition rules edited by the Judiciary.

O presente trabalho investiga a construção do olhar do aluno/professor diante da disciplina de Artes Visuais em sua formação frente à Arte através de um processo de compreensão crítica. Usa autores a partir da perspectiva das Artes Visuais, como Barbosa (1975), Lowenfeld (1977), Duarte Jr. (2012) e Iavelberg (2003), da Formação de Professores com Nóvoa (1991) e Tardif (2012), e sobre Experiência, com Larrosa (2001). A metodologia teve uma abordagem da pesquisa qualitativa desenvolvida através de questionários individuais com perguntas abertas e a investigação de imagens, como partes integrantes de uma análise crítica e construtiva de relatos que dialogam com a cultura visual. A pesquisa procura evidenciar que o desenvolvimento do ensino contemporâneo de artes visuais constitui-se como experiência docente que tem potencial para atuar positivamente na construção de conhecimento artístico na escola em consonância com a complexidade do mundo atual. A necessidade de tratar do tema arte se constituiu como uma possibilidade de um diálogo com as questões e preocupações que permeiam a contemporaneidade relacionada ao Ensino de Artes Visuais e à Formação do aluno/professor. Os resultados apresentam a importância da disciplina de Artes Visuais como uma maneira de transmitir o conhecimento e da integração com outras disciplinas. Com relação à formação docente, foram indicados os aspectos de oportunizar o conhecimento dos movimentos artísticos e do aluno ser produtor de sua arte, desenvolvendo habilidades equilíbrio espacial, sensibilidade, composição e criatividade, como a importância do ensino aprendizagem e ainda favorecendo o desenvolvimento do controle motor nas séries iniciais.

A preocupação da engenharia de software esteve por muito tempo relacionada a aspectos da funcionalidade do sistema, ou seja, com \"o que\" e \"como\" fazer e não com o \"por que\" fazer. Tais aspectos, envolvidos nos processos existentes, buscam a definição das propriedades desejadas, em lugar de observarem a informação de uma forma mais ampla, começando com as necessidades do próprio negócio, ou dos objetivos dos sistemas nele embutidos. As técnicas de análise estruturadas, diagrama de fluxo de dados e modelagem entidade e relacionamento modelam importantes conceitos para o desenvolvimento de sistemas, mas não buscam por soluções alternativas inovadoras aos problemas da organização. É comum encontrar situações onde o sistema não satisfaz às reais necessidades do negócio, embora esteja tecnicamente correto. O entendimento dos aspectos sociais, organizacionais, técnicos, jurídicos e econômicos é essencial para a realização de um bom trabalho de engenharia de requisitos. Nesse sentido, a modelagem organizacional facilita a compreensão do ambiente empresarial e é reconhecida como uma atividade valiosa pela engenharia de requisitos. O modelo organizacional representa o \"mundo\" onde se aplicam as regras do negócio. O entendimento das regras do negócio é muito importante para a organização ser flexível em um ambiente de crescente competitividade. Com a necessidade de se ter a modelagem dos aspectos relativos à organização para que o sistema atenda as suas reais necessidades, o presente trabalho tem como objetivo investigar o processo de desenvolvimento de software buscando conhecer técnicas ou métodos que atendem aos requisitos organizacionais, enfatizando o uso de regras do negócio com a finalidade de obter a especificação de requisitos. / The software engineering\'s focus were for a long time related to system\'s functionality aspects, or with \"what\" and \"how\" to do, and not with \"why\" to do. Those aspects in the existents process are looking for the definition of the desired proprieties instead observe the information in a more large aspect, beginning with the business needs itself or the systems goals inserted in it. The structure analysis techniques, flux data diagram, and relationship and entity modeling form important concepts for systems development but do not search for innovating alternatives solutions for organization\'s problems. It is very common to find situations were the system does not satisfy the real business needs, thought it is technically correct. The comprehension of social, organizational, technical, juridical and economics aspects are essential for a good realization of requirements in engineering work. In that way the enterprise modeling makes the business environment comprehension easier and is recognized as a value activity by the requirements engineering. The enterprise model represents the \"world\" where the business rules are applied. The comprehension of the business rules is very important so the organization can be flexible in a growing competitive environment. With the necessity to have a modeling of the relative aspects to the organization so the system can accomplish the real needs, this present research has the objective to investigate a software development process trying to find techniques or methods that answer the enterprise\'s requirement, emphasizing the use of business rules to obtain the specifics requirements.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Em comunidades montadas por processos determinÃsticos os filtros abiÃticos ou biÃticos selecionam espÃcies e caracterÃsticas funcionais com melhor aptidÃo. Com base nisso, a hipÃtese deste trabalho à que filtros abiÃticos e biÃticos atuem ao longo da cronossequÃncia, gerando diferentes processos de montagem das comunidades. Deste modo foram levantadas as seguintes previsÃes: I) Caso exista integraÃÃo funcional entre os ÃrgÃos, os diferentes processos de montagem da comunidade gerarÃo diferentes espectros de economia para a planta, II) CaracterÃsticas e estratÃgias funcionais apresentarÃo diferentes relaÃÃes com as taxas demogrÃficas ao longo da cronossequÃncia e III) Os diferentes processos de montagem vÃo gerar diferentes padrÃes para estrutura filogenÃtica e funcional, sendo estes modificados ao longo do tempo em virtude da mortalidade e do recrutamento. Para testar estas previsÃes, foram coletados dados de oito caracterÃsticas funcionais (foliares, reprodutivos, tronco e planta inteira) em 64 espÃcies, distribuÃdas em nove Ãreas, sendo seis capoeiras (trÃs com 17 anos e trÃs com 25 anos de regeneraÃÃo, aproximadamente) e trÃs florestas maduras, localizadas sob domÃnio da Floresta OmbrÃfila Densa, na regiÃo do litoral Norte de Pernambuco, Brasil. Em cada uma dessas Ãreas foram obtidas as taxas de mortalidade, recrutamento e crescimento das espÃcies e grupos de espÃcies. Foi observado que nÃo existe um espectro de economia para planta, de modo que os ÃrgÃos atuam de forma independente, nÃo variando ao longo da cronossequÃncia. Algumas caracterÃsticas tiveram forte influÃncia sobre a demografia das plantas, mas estas relaÃÃes tambÃm nÃo variaram com a cronossequÃncia. Quando as espÃcies foram agrupadas com base no maior nÃmero de caracterÃsticas voltadas para uso rÃpido do recurso (espÃcies aquisitivas), para a conservaÃÃo do recurso (espÃcies conservativas) ou com caracterÃsticas voltadas para ambas as estratÃgias (espÃcies intermediÃrias), as taxas demogrÃficas apresentam algumas variaÃÃes ao longo da cronossequÃncia, com maior mortalidade de espÃcies aquisitivas e intermediÃrias nas vegetaÃÃes com 25 anos de regeneraÃÃo e maior recrutamento de espÃcies intermediÃrias e conservativas no final da cronossequÃncia. AlÃm disso, foi observado que nÃo existe sinal filogenÃtico para as caracterÃsticas estudadas, indicando que nÃo houve conservaÃÃo de nicho, e que as estruturas filogenÃtica e funcional apresentam padrÃo aleatÃrio nas fases iniciais da sucessÃo, enquanto que no fim da sucessÃo a comunidade era funcionalmente dispersa e filogeneticamente agrupada. Estes padrÃes se mantiveram ao longo do tempo, nÃo sofrendo influÃncia de indivÃduos e espÃcies mortos e recrutados. Deste modo, à possÃvel afirmar que ao longo desta cronossequÃncia, as variaÃÃes nos filtros foram percebidas de forma diferente quando analisadas por populaÃÃes e por comunidades. CaracterÃsticas analisadas no nÃvel de populaÃÃo nÃo refletiram a influÃncia das mudanÃas observadas ao longo da cronossequÃncia, enquanto que para comunidade as influÃncias foram mais perceptÃveis. Portanto, o estudo das caracterÃsticas funcionais e da dinÃmica, bem como dos grupos de espÃcies, forneceram informaÃÃes importantes sobre os processos e conseqÃentemente sobre montagem das comunidades com diferentes disponibilidades de recursos. / In communities assembled by deterministic processes, abiotic or biotic filters select species and functional traits with higher fitness. Based on this, the hypothesis of this work is that abiotic and biotic filters operate over a chronosequence, generating different community assembly processes. Thus, the following predictions were made: I) If functional integration exists between organs, different processes of community assembly will generate different economics spectra for the plant II) Functional strategies and traits will show different relationships with demographic rates over the chronosequence; and III) Assembly processes will generate different patterns of phylogenetic and functional structure, which will be modified over time due to mortality and recruitment. To test these predictions, data on eight functional characteristics were collected (leaf, reproductive, stem and whole plant) in 64 species distributed in nine areas, six being secondary growth forests (three with approximately 17 years and three with approximately 25 years of abandonment), and three mature forests, located within the dense ombrophilous forest domain in the northern coastal region of Pernambuco, Brazil. In each one of these areas rates of mortality, recruitment and growth of the species and communities were obtained. The existence of an economics spectrum for plants was not observed, meaning that the organs acted independently, not varying over the gradient. Some traits had a strong influence on the plant demographics, but these relationships also did not vary with chronosequence. When species were grouped based on the largest numbers of traits favouring rapid resource use (acquisitive species), or resource conservation (conservative species) or traits adapted to both strategies (intermediate species), the demographic rates showed some variation over the chronosequence, with higher mortality in acquisitive and intermediate species in areas with 25 years abandonment and higher recruitment of intermediate and conservative species at the end of the chronosequence. Furthermore, it was observed that a phylogenetic signal did not exist for the traits studied, indicting that there was no niche conservation and that the phylogenetic and functional structure showed a random pattern in the initial stages of succession, whilst at the end of succession the community was functionally dispersed and phylogenetically grouped. These patterns were maintained over time, not influenced by individuals and dead and recruited species. Thus, it is possible to say that throughout this chronosequence, the variations in filters were perceived differently when analysed by populations or communities. Traits analysed at the population level did not reflect the influence of changes observed over the chronosequence, while for the community these influences were more noticeable. Therefore, the study of functional and dynamic traits, as well as species groups, provides important information about the processes, and consequently the assembly, of communities with different resource availabilities.

Técnicas de Aprendizado de Máquina não-simbólicas, como Redes Neurais Artificiais, Máquinas de Vetores de Suporte e combinação de classificadores têm mostrado um bom desempenho quando utilizadas para análise de dados. A grande limitação dessas técnicas é a falta de compreensibilidade do conhecimento armazenado em suas estruturas internas. Esta Tese apresenta uma pesquisa realizada sobre métodos de extração de representações compreensíveis do conhecimento armazenado nas estruturas internas dessas técnicas não-simbólicas, aqui chamadas de caixa preta, durante seu processo de aprendizado. A principal contribuição desse trabalho é a proposta de um novo método pedagógico para extração de regras que expliquem o processo de classificação seguido por técnicas não-simbólicas. Esse novo método é baseado na otimização (maximização) da similaridade entre rankings de classificação produzidos por técnicas de Aprendizado de Máquina simbólicas e não simbólicas (de onde o conhecimento interno esta sendo extraído). Experimentos foram realizados com vários conjuntos de dados e os resultados obtidos sugerem um bom potencial para o método proposto / Non-symbolic Machine Learning techniques, like Artificial Neural Networks, Support Vector Machines and Ensembles of classifiers have shown a good performance when they are used in data analysis. The strong limitation regarding the use of these techniques is the lack of comprehensibility of the knowledge stored in their internal structure. This Thesis presents an investigation of methods capable of extracting comprehensible representations of the knowledge acquired by these non-symbolic techniques, here named black box, during their learning process. The main contribution of this work is the proposal of a new pedagogical method for rule extraction that explains the classification process followed by non-symbolic techniques. This new method is based on the optimization (maximization) of the similarity between classification rankings produced by symbolic and non-symbolic (from where the internal knowledge is being extracted) Machine Learning techniques. Experiments were performed for several datasets and the results obtained suggest a good potential of the proposed method

Busca a presente dissertação examinar a regra de competência do ISSQN e os principais conflitos de competência tributária que podem surgir entre o aludido imposto municipal e o IPI, o IOF e o ICMS - como também os conflitos existentes entre dois municípios que detenham a pretensão de tributar o mesmo serviço. Visando alcançar tal objetivo, examina a estrutura, função e hierarquia das normas de competência dos impostos, o modo de interpretação do texto constitucional, o método pelo qual devem ser construídas as regras de competência tributária e a autonomia dos municípios diante do federalismo brasileiro. / The current dissertation intends to examine the rule of competency of ISSQN (Services Tax) and the main conflicts over tax jurisdiction that may emerge between the said municipal tax and the IPI (Excise Tax), the IOF (Tax on Financial Operations), and the ICMS (Value-Added Tax on sales and services) – as well as the conflicts that may arise between two municipalities that detain the intention to tax the same service. To attain such goal, the research examines the structure, the function and the hierarchy of the rules of tax competency, the means of interpretation of the constitutional text, the method by which the rules of tax competency must be built and the autonomy of the municipalities in sight of brazilian federalism.

Made available in DSpace on 2014-06-12T15:54:45Z (GMT). No. of bitstreams: 2 arquivo5249_1.pdf: 2988178 bytes, checksum: 0da8298c7622c1c4e0a7b14572b32a52 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / A diversidade biológica tem importantes implicações no funcionamento dos ecossistemas. Porém, para realizar prognósticos sobre o efeito da extinção de espécies e/ou adição no funcionamento do ecossistema, requere-se conhecimento preciso sobre a interação das espécies. Estas interações por sua vez são importantes direcionadoras da estrutura e da diversidade das comunidades. Interações diretas: interações entre predadores vs presas, assim como, competição por recursos e interações indiretas: facilitação e inibição entre as espécies.. Essas duas últimas interações são cruciais para um entendimento adequado do grau de redundância entre espécimes dentro de um determinado grupo trófico. Até o presente momento a contribuição concomitante de bottom-up1 (i.e. controle de recursos) e top-down2 (i.e. controle predacional), forças sobre a estrutura e dinâmica das comunidades, vem sendo amplamente aceita. No entanto, os resultados e conclusões ainda são bastante inconsistentes devido à grande variabilidade das circunstâncias experimentais e dos organismos testados (cobaias), . Nematódeos são os metazoários mais abundantes e diversos em quase todos os ecossistemas sedimentares marinhos. Suas comunidades são tipicamente caracterizadas por uma alta diversidade local (α-diversidade), nas quais várias espécies pertencentes ao mesmo nível funcional tendem a co-ocorrerem. Esses organismos são importantes consumidores de produtores, assim como de decompositores (bactéria), e são presas de uma ampla variedade de predadores, incluindo outros nematódeos predadores. Até o presente momento, ainda é questionado se a estrutura da comunidade de nematódeos e sua dinâmica tendem a serem controladas, exlusivamente, pela disponibilidade de recursos ou por predação. A importância e o papel dasregras de relações horizontais, i.e. relações dentro do mesmo grupo trófico, como competição e interações indiretas, mencionadas anteriormente, são ainda pouco conhecidas. As regras que suportam as assembléias de espécies em comunidades complexas e diversas, são o resultado da soma das interações diretas e indiretas, que ocorrem simultaneamente em qualquer direção: top-down, bottom-up, e horizontais. A teoria da história de vida, enfatiza que o impacto causado por um agente (e.g. limitação de recursos, presença de predadores, etc.) na população, é determina pelo seu efeito sobre o fitness3 de uma determinada população (mais especificamente, o conceito de maximização do fitness) é a chave para o ganho de discernimento dentro de efeitos demográficos, como os impactos a nível populacional. Realizamos experimentos de microcosmos para direcionar o efeito entre relações verticais (Bottom-up e Top-down) e horizontais no fitness das populações de nematódeos bacterívoros. O primeiro experimento investigou quando e como os nematódeos afetam a colonização do substrato por bactérias através da produção de traços de muco. Demonstramos que a secreção de muco torna-se consistentemente colonizado por uma baixa diversidade de bactérias existentes no ambiente, e esse efeito é nematódeo espécie-específico. Essa estratégia de gardening4 microbiano nos permite uma melhor percepção do impacto espécie-específico de nematódeos bacterívoros sobre a comunidade bacteriana, e tem importante implicações para interações inter-específicas entre bacterívoros. Subsequentemente investiguei o efeito da disponibilidade de recursos sobre a dinâmica de populações de três nematódeos bacterívoros, que normalmente ocorrem em simpatria no seu habitat natural. A disponibilidade alimentar foi definida pela densidade bacteriana (Escherichia coli), e as respostas de cada espécie5 de nematódeos foram estudadas em culturas monoespecíficas. Cada espécie mostrou uma resposta diferente à disponibilidade de alimento. As diferenças entre as espécies se tornaram mais evidentes nos seguintes parâmetros: nível reprodutivo, tempo de desenvolvimento, densidades máximas,biomassa individual e populacional. Uma espécie teve preferência a altas densidades alimentar enquanto as outras duas preferiram densidades intermediárias. Baseados nesses resultados, construímos a curva hipotética de como compreender as comunidades que contenham simultaneamente essas três espécies5 e como as espécies poderiam responder a disponibilidade alimentar presente no ecossistema. Isso foi testado em um experimento paralelo, no qual as três espécies foram inoculadas juntas. Essses resultados não seguiram o padrão demonstrado anteriormente, nos experimentos com as espécies inoculadas separadamente, e isso ocorreu devido ao resultado das três diferentes interações horizontais (facilitação inibição e competição por alimento) atuando simultaneamente dentro da comunidade artificial de nematódeos construída. Em experimentos subsequantes, elaboramos interações inibitórias e competitivas entre duas espécies6 mostrando a dependência mais similar de densidade alimentar. Adicionalmente, para o desenvolvimento populacional, estudamos a preferência alimentar (através de quimiotaxia) e assimilação alimentar (seguindo de 13C marcador radioativo). Isso confirmou o efeito inibitório entre ambas as espécies em um ambiente com maior complexidade alimentar, composto por múltiplas cepas bacterianas, mas a assimetria (apenas uma espécie afetou a outra e não vive-versa) foi a conseqüência final desse experimento. Contário aos resultados prévios do nosso segundo experimento, onde o efeito foi altamente simétrico. Surpreendentemente, tanto a capacidade alimentar, quanto a assimilação alimentar das duas espécies, mostraram evidências claras de facilitação inter-específicas, ao contrário da inibição. Evidentemente, o padrão de comportamento foi estudado em um período curto de tempo, o que pode levar a conclusões completamente diferentes para os parâmetros populacionais em experimentos realizados a longo prazo. Todavia, houve concordância no fato de que a diversidade alimentar (i.e. bactéria) enfraqueceu as interações inter-específicas observadas. Finalmente, estudamos o efeito top-down, resultante da introdução de um nematódeo predador7 sobre o desenvolvimentopopulacional das mesmas espécies estudadas nas monoculturas. O nematódeo predador exerceu um efeito significativo sobre a densidade, a distribuição do estágio de desenvolvimento e o tamanho, assim como em relação à proporção sexual das presas. Este efeito foi altamente dependente, no entanto, não foi linearmente proporcional à densidade de predadores. Semelhantemente, mostramos que todos os três tipos de interações (bottomup, top-down e horizontais) são direcionadores importantes da dinâmica populacional e da estrutura da comunidade dentro do mesmo grupo trófico de nematódeos bacterívoros. Concluímos, que as relações horizontais indiretas têm uma relevância particular para o entendimento de como a diversidade de espécies dentro do mesmo grupo trófico afetam o funcionamento do ecossistema, relacionado com a atividade microbiana. Contudo essas interações indiretas, uma após a outra, são relações afetadas pelos efeitos bottom-up e top-down do ecossistema

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-02-21T16:58:53Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_SilviaVersaoFinal.pdf: 3562807 bytes, checksum: d273ad6c061161f899cab3d232a82a79 (MD5) / Made available in DSpace on 2017-02-21T16:58:54Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_SilviaVersaoFinal.pdf: 3562807 bytes, checksum: d273ad6c061161f899cab3d232a82a79 (MD5) Previous issue date: 2016-08-01 / FACEPE / Contexto: A fase de especificação de requisitos é fundamental no processo de desenvolvimento de software. O uso de cenários é bastante popular para especificar requisitos, por serem descritos em linguagem natural. No entanto, a linguagem natural dá margem a requisitos ambíguos, incompletos e inconsistentes, o que vai de encontro com os objetivos da fase de especificação de requisitos. Nesse sentido, uma técnica baseada em Cenário & LEL (Language Extended Lexicon), chamada de C&L, pode ser a solução adequada, pois LEL é um glossário que define um conjunto de palavras que pertencem a um domínio e que devem ser usadas para descrever os cenários. Assim, C&L é considerada uma técnica de cenários baseada em linguagem natural controlada que ajuda a minimizar os problemas previamente mencionados, além de poder ser utilizada para criar casos de teste de forma mais sistemática. Objetivo: Neste trabalho, são propostas duas abordagens: a primeira abordagem usa regras de mapeamento para derivar modelos statechart a partir de C&L visando verificar a completude e consistência desses cenários e a segunda usa heurísticas para obter sistematicamente casos de teste a partir de modelos statechart. Método: A pesquisa apresentada nessa dissertação seguiu a abordagem de Engenharia para definir as regras de mapeamento e as heurísticas que, por sua vez, foram avaliadas empiricamente. Resultados: As regras de mapeamento apoiam a derivação de statechart a partir de C&L. As heurísticas apoiam a derivação de casos de teste a partir dos modelos statechart. Foi realizado um experimento para comparar o número de erros de incompletude e inconsistência detectados pelos grupos experimental e controle e o tempo gasto pelos grupos para detectar esses erros. Também foi verificado se os statecharts gerados através da aplicação das regras de mapeamento possuem grau de corretude e semelhança. Foi realizada uma avaliação qualitativa das heurísticas utilizadas para derivar os casos de teste, com o intuito de saber se as heurísticas foram utilizadas corretamente, se estão claras e são fáceis de usar. Conclusões: Os resultados do experimento mostram que o número de erros de incompletude detectados pelo grupo experimental foi superior ao número obtido pelo grupo controle e em relação aos erros de inconsistência não houve diferença entre quantidade de erros detectados pelos dois grupos. Além disso, a média do tempo gasto para identificar erros de incompletude e inconsistência pelo grupo experimental foi ligeiramente superior a média do tempo gasto pelo grupo controle. Em relação ao grau de corretude, dentre os modelos gerados pelo grupo experimental, existe um que apresenta o maior grau de corretude com 85,7%. No entanto, o grau de semelhança entre os modelos é considerado de “baixa semelhança”. O resultado da avaliação qualitativa mostrou que os participantes concordaram que as regras de mapeamento e as heurísticas são compreensíveis e fáceis de utilizar. Também foi observado que as heurísticas foram usadas de maneira correta na derivação dos casos de teste. / Context: The requirements specification phase is fundamental in the software development process. The use of scenarios is quite popular to specify requirements because they are described in natural language. However, natural language gives rise to ambiguous, incomplete and inconsistent requirements, jeopardizes the objectives of the requirements specification phase. In this context, a technique based on Scenarios and LEL (Language Extended Lexicon), called C&L, may be an appropriate solution because LEL is a glossary that defines a set of words that belong to a domain and should be used to describe the scenarios. Thus, C&L is a scenario technique based on controlled natural language that helps to minimize the problems previously mentioned, and can be used to create test cases in a more systematic way. Objective: In this study, two approaches are proposed: the first approach uses mapping rules to derive statechart models from C & L in order to verify the completeness and consistency of these scenarios and the second uses heuristics to systematically derive test cases from statechart models. Method: The research presented in this work follows the engineering approach to define the mapping rules and heuristics that, in turn, were empirically evaluated. Results: Mapping rules support the derivation of statechart from C & L. Heuristics support the derivation of test cases from statechart models. An experiment was conducted to compare the number of incompleteness and inconsistency errors detected by the experimental and control the groups and the time spent by groups to detect these errors. Also it was verified whether the statecharts generated by the application of the mapping rules have degree of correctness and likeness. A qualitative evaluation of the heuristics used to derive the test cases was made, in order to know whether the heuristics were correctly used and if they are clear and easy to use. Conclusions: The results of the experiment show that the number of incompleteness errors detected by the experimental group was higher than the number obtained by the control group, and in relation to inconsistency errors, there was no difference among the number of errors detected by the two groups. Furthermore, the average time spent to identify incompleteness and inconsistency errors by the experimental group was slightly higher than the average time spent by the control group. In relation to the degree of correctness among the models generated by the experimental group, there is one that has the highest degree of correctness with 85.7%. However, the degree of similarity between the models is considered "low similarity”. The result of the qualitative evaluation showed that the participants agreed that the mapping rules and heuristics are comprehensible and easy to use. It was also observed that the heuristics were used correctly in the derivation of test cases.

Made available in DSpace on 2016-12-23T14:37:56Z (GMT). No. of bitstreams: 1 Thais Prando Oliveira.pdf: 1106882 bytes, checksum: 9256d7e852794b97281e6e4eb3eefbd2 (MD5) Previous issue date: 2012-08-20 / Esta pesquisa investigou, em uma abordagem psicogenética, aspectos do funcionamento cognitivo de crianças por meio de um jogo regras com base na teoria de Piaget. Participaram do estudo 21 crianças, de ambos os sexos, com idades de oito e doze anos, de uma escola pública de Ensino Fundamental de Vitória-ES. A coleta de dados ocorreu em três encontros por dupla, utilizando-se como instrumento o jogo Lig-4 e um protocolo contendo questões e situações-problema. O primeiro encontro foi realizado em duas etapas: uma de aprendizagem e outra de prática do jogo. O segundo em dois momentos, sendo um destinado à prática do jogo e outro à primeira avaliação do nível de análise heurística. No terceiro realizou-se a prática do jogo e a segunda avaliação do nível de análise heurística. Os dados foram analisados por meio de níveis de análise heurística formulados em relação aos Sistemas Cognitivos I e II propostos por Piaget. Entre os resultados, verificou-se que a situação destinada à primeira avaliação e a ampliação da prática do jogo, não possibilitaram uma melhora expressiva no nível de análise heurística dos participantes de ambas as idades na segunda avaliação. No entanto, comparando-se o desempenho das crianças das duas idades, constatou-se que o das de doze anos foi superior ao das de oito anos, sendo que no Sistema Cognitivo I elas alcançaram níveis mais complexos do que no Sistema Cognitivo II. Conclui-se que o jogo Lig-4 mostrou-se adequado para a análise de Sistemas Cognitivos, fornecendo subsídios para trabalhos de avaliação e intervenção / This research has investigated, in a psychogenetic approach, childrens cognitive function aspects through a game of rules based on Piagets theory. Twenty-one children participated in this study, from both genders, ages varying from eight to twelve, from a public elementary school from Vitória ES. Data gathering occurred in three meeting per pair, utilizing the game lig-4 and a protocol containing questions and problem-situations. The first meeting was made in two phases: learning and game practice. The second one, in two moments, being one destined to game practice and, the other one, to the first assessment of heuristic analysis level. On the third meeting there were more game practice and the second assessment on heuristic analysis level. Data was analyzed using heuristic analysis levels formulated in relation to Cognitive Systems I and II proposed by Piaget. Among the results, it was verified that the situation destined to the first assessment and game practice expansion did not offer an expressive improvement on heuristic analysis level in the participants from both ages on the second assessment. However, comparing both participants performances, it was stated that the twelve-year-olds performances was superior than the eight-year-olds , taking in consideration that on Cognitive System I they ve achieved more complex levels than on Cognitive System II. It was concluded that, the game lig-4 was adequate to analyze Cognitive Systems, providing resources for evaluation and intervention jobs

Made available in DSpace on 2016-12-23T14:37:59Z (GMT). No. of bitstreams: 1 Dissertacao_EDUARDO_MIRANDA.pdf: 682411 bytes, checksum: 02471e1edaa7016b11b9c148dbdcc320 (MD5) Previous issue date: 2005-03-23 / Os jogos de interpretação de papéis (RPG) têm sido alvos de críticas e apologias das mais variadas, muitas vezes sem embasamento científico. Tais jogos aparecem cada vez mais entre as práticas lúdicas de adolescentes e é crescente o número de pesquisas acerca de seu uso em educação. Assim, tornase necessária uma investigação com bases psicológicas sobre o tema. Para chegar a esse posicionamento, foram relacionados aspectos contidos na dinâmica do jogo e discurso de 22 jogadores da região da Grande Vitória, analisados sob um viés psicológico. Com base nessas informações, pôde-se traçar um panorama das características da atividade, bem como o lugar que ela ocupa nas relações que esses jogadores perfazem e suas conseqüências para esses mesmos sujeitos. Os dados foram coletados por meio de questionários e entrevistas e foram agrupados em categorias estabelecidas a posteriori. Os resultados finais caracterizam um grupo de praticantes de RPG do Estado do Espírito Santo e tornam possível a análise psicológica das particularidades detectadas. Pôde-se avaliar o lugar que a prática de jogar RPG ocupa na rotina dos participantes, bem como analisar, por meio dos dados coletados, aspectos psicológicos intrínsecos ao jogo. / Role Playing Games (RPG) had been constantly criticized or defended in many forms, several times without a scientific approach. These kind of games appear in the playful behaviors of many adolescents. With the increasing use of RPG on education and more researches been developed in the area, it makes necessary a psychological approach of the matter. To make this possible, this work relates the speech of some players with intrinsic aspects of the RPG dynamics. A view of the RPG characteristics could be done with these data, as well as a look on the relations that the subjects make with the game and its possible consequences. The data were grouped in categories after some questionnaires and interviews had been done. The final results show the way of being of a small group of players of Espirito Santo's state and allows a psychological analysis of the characteristics collected. It was possible to evaluate what is the place of RPG in the subjects routine, as well as specific characteristics of the game that are of special interests of Psychology.