Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-27T00:23:28Z No. of bitstreams: 1 MariliaMedeirosDeAraujo_DISSERT.pdf: 6949653 bytes, checksum: 7d29f43511f0222c25f36a334b8da9e7 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-09-02T19:09:47Z (GMT) No. of bitstreams: 1 MariliaMedeirosDeAraujo_DISSERT.pdf: 6949653 bytes, checksum: 7d29f43511f0222c25f36a334b8da9e7 (MD5) / Made available in DSpace on 2016-09-02T19:09:47Z (GMT). No. of bitstreams: 1 MariliaMedeirosDeAraujo_DISSERT.pdf: 6949653 bytes, checksum: 7d29f43511f0222c25f36a334b8da9e7 (MD5) Previous issue date: 2016-02-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Esta disserta??o consistiu em avaliar os efeitos da Pol?tica de Valoriza??o do Sal?rio M?nimo sobre o emprego e a distribui??o de renda no longo prazo. Com base nas teorias de Keynes e Kalecki foram discutidos os efeitos de um aumento do sal?rio sobre o n?vel de emprego e sobre a distribui??o de renda, e os prov?veis canais e fatores a partir dos quais esses efeitos podem incidir sobre as vari?veis em quest?o. A metodologia da disserta??o apoiou-se no uso de simula??es computacionais, no modelo macroecon?mico multissetorial MKS, de Cavalcanti Filho (2002). Para um conjunto de combina??es de par?metros de pol?ticas econ?micas, a an?lise das simula??es gerou resultados, que correspondem aos efeitos apontados pelos fundamentos te?ricos. Conclui-se que, para as diferentes combina??es de pol?ticas fiscal e monet?ria simuladas, a Pol?tica de Valoriza??o do Sal?rio M?nimo se mostrou eficaz para os objetivos a que se prop?e a regra de reajuste. / This research aimed at evaluating the effects of Minimum Wage Enhancement Policy of employment and long-term income distribution. Based on the theories of Keynes and Kalecki, the effects of salary raise on employment and on income distribution were discussed as well as the channels and factors from which these effects may relate to the variables involved. The methodology of this dissertation consisted of generation of computer simulations based on the multisectorial macroeconomic MKS model developed by Cavalcanti Filho (2002) to test the effects of Minimum Wage Enhancement Policy and check whether the keynesian and kaleckian channels and factors and were valid. For a set of economic policy parameter combinations (tax rates, rules for the expansion of public spending and the determination of interest rates by the Central Bank), the analysis of the simulations generated results that correspond to the ones mentioned by the theoretical basis. The conclusion is that for different combinations of fiscal and monetary simulated policies, the Minimum Wage Enhancement Policy is effective to expand employment and improve income distribution in workers favor.

O presente trabalho discute o papel de instituições internacionais, particularmente a Corte Penal Internacional (CPI) como maneira efetiva de reduzir o número e/ou gravidade de crimes contra a humanidade, crimes de guerra e genocídio. A ação da CPI é direcionada contra líderes, ou seja, autoridades políticas, comandantes de forças armadas, autoridades civis, etc, que autorizam ou promovem estes tipos de crimes. Para simular a ação da CPI são utilizadas redes complexas visando construir uma sociedade hierárquica onde os líderes de maior importância são os de maior conectividade, podendo espalhar seus pontos de vista ou ordens através de uma cadeia de indivíduos progressivamente menos conectados. Desta forma se estes líderes praticam improbidade, corrupção ou qualquer tipo de ação criminosa contra indivíduos ou grupos, é muito difícil e improvável que sejam processados pelas cortes de seu próprio país. Foi para aliviar esta situação, combatendo a impunidade nos altos escalões, que a CPI foi formada. Sua missão é processar e condenar crimes contra a humanidade, crimes de guerra e o crime de genocídio através de uma organização supra-nacional capaz de agir sobre líderes criminosos em qualquer país. No presente estudo a ação da CPI é simulada pela remoção do líder corrupto e substituição do mesmo por uma liderança não criminosa. As práticas criminosas do líder corrupto podem no entanto ter se espalhado entre a população antes da ação da CPI. Neste trabalho procuramos determinar a possibilidade de uma única ação da CPI ser suficiente ou se intervenções futuras são necessárias dependendo do grau de deterioração dos direitos humanos no país hipotético. Os resultados evidenciam o efeito positivo das ações da CPI para uma quantidade relativamente pequena de intervenções. Também comparam-se os efeitos da CPI com as ações do sistema judiciário nacional local, onde os lideres são de certa forma difíceis de processar criminalmente. Resultados mostram evidência de que a impunidade de líderes corruptos prejudica a habilidade das cortes em combater violações dos direitos humanos em toda a sociedade. / This work discuss the role of international institutions, like the International Criminal Court (ICC), as an effective way of reducing the number and/or gravity of crimes against humanity, war crimes and genocide. The action of the ICC is directed against leaders, i.e. political autho- rities, army commanders, civil leaders, etc, that authorize or promote these kinds of crimes. In order to simulate the action of the ICC the framework of scale free networks is used to build a hierarchical society where the most important leaders have the highest connectivity and can spread their points of view, or their orders, through a chain of less but still highly connected deputy chiefs or opinion chieftains. In this way, if they practice misconduct, corruption, or any kind of discriminatory or criminal actions against individuals or groups, it would very difficult and improbable that they will be prosecuted by the courts of their own country. It is to alleviate this situation and to fight impunity that the ICC was created. Its mission is to process and con- demn crimes against humanity, war crimes and the crime of genocide though a supranational organism that can act on criminal leaders in any country. In this study, the action of the ICC is simulated by removing the corrupt leader and replacing it by a ”decent”one. However, as the criminal action of the corrupt leader could have spread among the population by the time the ICC acts, we try to determine if a unique action of the ICC is sufficient or if further actions are required, depending on the degree of deterioration of the human rights in the hypothetical country. The results evidence the positive effect of the ICC action with a relatively low number of interventions. The effect of the ICC is also compared with the action of the local national judiciary system, where the leaders are somewhat difficult from process. Results show evidence that the impunity of corrupt leaders hinders the ability of the courts to fight human rights violations on the whole society.

Submitted by Raniere Barreto (raniere.barros@ufvjm.edu.br) on 2018-04-11T18:18:18Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) adaias_correa_silva.pdf: 5894272 bytes, checksum: 8c2cbf213e174b0b1b6b26860ba17780 (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2018-04-20T13:27:31Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) adaias_correa_silva.pdf: 5894272 bytes, checksum: 8c2cbf213e174b0b1b6b26860ba17780 (MD5) / Made available in DSpace on 2018-04-20T13:27:32Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) adaias_correa_silva.pdf: 5894272 bytes, checksum: 8c2cbf213e174b0b1b6b26860ba17780 (MD5) Previous issue date: 2017 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Diante da realidade do ensino da Matem?tica no Ensino B?sico no Brasil, principalmente no tocante ao conte?do de Fun??es e sua relev?ncia para o desenvolvimento acad?mico dos estudantes no Ensino B?sico e Superior, este trabalho prop?e o uso de softwares educacionais de maneira que auxiliem o ensino de Fun??es no Ensino B?sico, uma vez que os computadores e softwares se mostram como uma importante op??o de ferramenta de aux?lio no processo de ensino-aprendizagem, tendo a Engenharia Did?tica como metodologia de pesquisa e investiga??o. Foram aplicadas sequ?ncias did?ticas, onde buscou-se detectar as principais dificuldades no ensino de Fun??es no Ensino B?sico, propondo-se ent?o interven??es did?ticas a fim de auxiliar a aprendizagem dos discentes, analisando de forma qualitativa os resultados obtidos durante as interven??es. Ao final das interven??es did?ticas, verificou-se com a discuss?o dos resultados obtidos que os mesmos foram satisfat?rios em rela??o ao aprendizado da maior parte dos discentes. / Disserta??o (Mestrado Profissional) ? Programa de P?s-Gradua??o Matem?tica, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2017. / In face of the reality of the Mathematics in Basic Education teaching, specially regarding to functions and its relevance to the student?s academic development in Basic and Superior Education, this work proposes the use of Educational softwares in a way that helps the teaching of functions in Basic Education, since the computers and softwares are shown as important options to help the teaching and learning processes, using the Didactic Engineering as a methodology research and investigation. Teaching sequences were applied in order to detect the main difficulties in the teaching process of functions in the Basic Education, then it was proposed Didactic Interventions in order to aid the students leraning, analyzing the qualitative form the results obtained along the interventions. Considering all the discussions of the results at the end of the didactic interventions, it was verified that the results obtained were satisfactory to the majority of the students.

Diante dos problemas vivenciados no ensino da Física cabe ao professor a tarefa de tentar combater as dificuldades de seus alunos, proporcionando-lhes experiências de aprendizagem eficazes, procurando atualizar, tanto quanto possível, os instrumentos pedagógicos que utiliza. Considerando a especificidade experimental da Física, a realização de atividades de laboratório faz-se de grande importância. Porém, uma reflexão a respeito de como utilizar tais atividades é necessária para que possam realmente contribuir para uma aprendizagem significativa. Nesta busca, a utilização da aquisição automática de dados através de dispositivos do tipo CBL (do inglês Calculator Based Laboratory) pode, sem dúvida, trazer grande contribuição. Aliando-se à grande potencialidade do uso destes dispositivos, à inexistência de trabalhos divulgados envolvendo seu uso no ensino de Física no Brasil e, finalmente, ao fato deste ser um equipamento adquirido recentemente pelo Centro Federal de Educação Tecnológica de Pelotas, instituição na qual este trabalho foi desenvolvido, optou-se por propor nesta dissertação a utilização de tais equipamentos em laboratório didático de Física Térmica no ensino médio. Dentre os assuntos abordados cita-se: calor, temperatura e energia interna; resfriamento de um corpo; mudança de estado físico e pressão de vapor; transmissão do calor. Alguns destes assuntos não são normalmente abordados no ensino médio, como a lei de resfriamento e análise da curva de pressão de vapor. Outros tópicos levam a uma maior contextualização da Física, como umidade relativa do ar e formação de geada. Esta proposta é fundamentada pela teoria da aprendizagem significativa de David Ausubel e pela teoria da interação social de Lev Vigotski Através desta experiência de implementação em aulas regulares de ensino médio, espera-se verificar a possibilidade de sua utilização neste nível de ensino. Como produto deste trabalho de dissertação, foi produzido material instrucional que compreende guias experimentais e textos envolvendo os conteúdos abordados, assim como material hipermídia sobre transmissão do calor contendo algumas animações e teste interativo desenvolvidos em Flash MX. Todo este material foi concebido e implementado buscando levar o aluno a uma aprendizagem significativa dos conceitos físicos.

No presente trabalho é proposto um conjunto de atividades de aquisição de dados para um laboratório didático de Física, no contexto de ensino tecnológico de escolas técnicas. São construídas rotinas de programação com a ferramenta Visual Basic for Applications (VBA), incorporadas em planilhas Excel, sendo a aquisição de dados através da porta de joystick da placa de som do microcomputador. As atividades propostas envolvem especialmente experimentos no campo da mecânica, no qual são investigados o sistema massa-mola, pêndulo simples e movimento de rotação de um pião. A metodologia proposta para estas atividades é embasada na teórica construtivista de Vygotsky. O material foi aplicado e avaliado em uma oficina oferecida para alunos de cursos superiores de tecnologia (Automação Industrial e Manutenção Industrial e Sistemas de Informação) do CEFET/PR, unidade sudoeste do Paraná em 2005. O produto educacional deste trabalho consiste em um texto de apoio sobre medidas físicas e erros e sobre o uso da linguagem VBA em sistemas de aquisição de dados com a placa de som do microcomputador, e rotinas incorporadas a planilhas Excel que permitem a aquisição automática dos dados trabalhados nas atividades experimentais. No texto de apoio, também são sugeridas atividades para os alunos. As planilhas Excel (incluindo as macros VBA) constam o CD-ROM anexo a este trabalho, e estão disponibilizadas na web.

Espalhamento de íon de energia média (MEIS), em conjunto com as técnicas de sombreamento e bloqueio, representa um poderoso método para a determinação de parâmetros estruturais e vibracionais de superfícies cristalinas. Apesar disto, as formas do espectro de perda de energia iônica não são, normalmente, completamente analisadas, pois requerem um conhecimento profundo dos mecanismos de transferência de energia. A probabilidade de excitação/ionização para cada camada interna em uma colisão única representa um aspecto importante neste caso, uma vez que são envolvidas só algumas colisões. Assim, teorias padrão de freamento ou métodos semi-empíricos baseados em distribuições gaussianas de perda de energia não podem ser utilizadas neste caso. Em substituição, a dependência quanto ao parâmetro de impacto dos processos eletrônicos de excitação deve ser levado em conta em uma aproximação estocástica que conduz, em geral, a uma forma assimétrica. Além disso, sob condições de sombreamento e bloqueio somente colisões com um pequeno parâmetro de impacto são importantes. Este é o melhor cenário para o estudo dos processos de perda de energia envolvendo elétrons de camada interna. Isto é o que ocorre em medidas de alta-resolução do chamado pico de superfície, uma estrutura de alta-energia que surge em experimentos de retroespalhamento de materiais cristalinos. Esta estrutura têm sido amplamente medida em experimentos de canalização, mas nunca foi analisada apesar de sua detalhada forma. Neste trabalho foi realizada a simulação da distribuição de perda de energia para o pico de superfície, através do programa SILISH (SImulation of LIne SHape). As simulações foram feitas para prótons incidindo sobre os principais eixos de simetria da superfície limpa de Al(110) e de uma amostra não preparada de Si(100). Nesta trabalho foi realizada a primeira simulação ab initio do pico de superfície usando o método de canais acoplados e o modelo de partículas independentes para a perda de energia eletrônica em colisões atômicas únicas. Foi observado que as grandes perdas de energia provenientes da ionização/excitação das camadas internas (camada L) é responsável pela assimetria do pico de superfície. Entretanto, mesmo usando os métodos atuais mais precisos para o cálculo da perda de energia eletrônica (através do método de canais acoplados), importantes desacordos são ainda observados entre a simulação e os dados experimentais. Estes desvios são atribuídos à quebra do modelo de elétron independente. Desta forma, medidas de perda de energia sob condições de sombreamento/bloqueio podem servir para aumentar nosso entendimento sobre sistemas eletrônicos correlacionados. / Medium-energy ion scattering (MEIS) in connection with shadowing and blocking techniques is a powerful method for the determination of strutctural and vibrational parameters of crystalline surfaces. Nevertheless, the shapes of ion energy-loss spectra are usually not full analyzed, because this requires an improved knowledge on the energy-transfer mechanisms. The differential excitation/ionization probability for each subshell in a single collision is the important quantity in this case, since generally only few collisions are involved. Thus, standard stopping theories or semi-empirical methods based on gaussian energy-loss distributions cannot sucessfully be used. Instead, the impact parameter dependence of electronic exctitation processes has to be taken into account in a stochastic approach which leads, in general, to an asymmetric line shape. Moreover, under shadowing and blocking conditions only collisions with very small impact parameters are important. This provides the best scenario to study the energy-loss processes involving inner-shell electrons. In fact, this is realized in high-resolution measurements of the so-called surface peak, a high-energy structure that appears in backscattering experiments for crystalline materials. This structure has been widely measured in channeling experiments, but was never analyzed regarding its detailed shape. Here we report on a Monte Carlo simulation of the energy-loss distribution of the surface peak (SILISH: SImulation of LIne SHape). The simulations were performed for protons impinging on the main axes of a clean Al(110) surface as well as on non-prepared Si(100) surface. We provide the first full ab-initio simulation of the surface peak using the coupled-channel method and the independent-particle model for the electronic energy loss in individual atomic collisions. We have observed that large energy losses arising from inner-shell (L-shell) ionization/excitation are responsible for the surface peak asymmetry. However, even using the most precise current methods of calculating the electronic energy loss (through the coupled-channel method), important disagreements are still observed between the experimental data and the simulation. These deviations are attributed to a breakdown ot the independent-electron model. In this way, measurements of the energy loss under shadowing/blocking conditions might serve to improve out understanding of dynamically correlated electronic systems.

Frente às transformações advindas do impacto das tecnologias na sociedade e nas organizações, bem como as novas habilidades e competências a serem adquiridas pelos profissionais no disputado mercado de trabalho atual, faz-se relevante atualizar os processos de ensino/aprendizagem, de forma a qualificar a formação profissional do egresso de ensino médio. O presente estudo tem por objetivo analisar a visão dos professores sobre as implicações da introdução dos recursos de informática nas organizações estaduais de ensino médio de Porto Alegre. Sua investigação tem como dimensão predominante uma abordagem quantitativa, de caráter exploratório sobre as percepções dos professores. Uma segunda dimensão - contextual - identifica as principais políticas educacionais para a área de informática no ensino médio. A dimensão do professor tem, por sua vez, duas subdimensões: o papel do professor frente ao processo de ensino-aprendizagem e suas percepções quanto à introdução dos recursos da tecnologia da informática no ensino médio. A base empírica desta dimensão adveio de dez escolas, selecionadas através de amostragem por cotas, tendo como instrumento de coleta de dados um questionário. Na dimensão contextual, foram realizadas pesquisa documental e entrevistas junto aos ór gãos oficiais responsáveis pelas políticas de informática educacional e direções de escolas e professores. Os resultados mostram que os professores do ensino médio das escolas estaduais de Porto Alegre concordam e percebem como prioritária a introdução dos recursos da tecnologia da informática nas escolas e que, para usufruir adequadamente destes recursos, os docentes devem assumir uma nova postura frente aos métodos de ensino-aprendizagem. Esta postura vem permitir e incentivar que o discente seja o sujeito do processo de construção do seu conhecimento. Esta pesquisa também identificou diretrizes para a formação de professores subsidiando, assim, políticas públicas para a área de educação no Estado. / Facing the changes brought about by the impact of technologies on cocieties and organizations as well as the new skills and competence required for professionals on the search for positions in the present working market, it is timely to update the teaching/learning processes so as to qualify the background of undergraduates who come back to university for further development. The present study aims at analyzing the teachers' view on the implications of the introduction of informatics in undergraduate state teaching institutions in the city of Porto Alegre, Brazil. The investigation has predominantly the dimension of a quantitative approach, of na exploratory character, to the perception of teachers. Secondly, it explores the contextual dimension to identify the main educational policies in the field of informatics acting at the undergraduated level. The former dimension is two-fold: it looks into the teachers' role within the teaching/learning process and their perceptions regarding the introduction of resources provided by informatics technologies. In the contextual dimension, documental research and interviews were carried out at official organs in charge of the policies concerning educational informatics as well as at the schools' boards of directors and teaching staffs. Results show that undergraduated teachers, in state schools of Porto Alegre, highly regard the introduction of technological resources in informatics and agree that it is a priority issue for the adequate use of which they shall take up a new attitude concerning teaching/learning methods. Such attitude will both encourage teachers and allow them to be the subject of their own knowledge constructing process. This research also identified guidelines for the formation of teachers, thus providing subsidies for public policies in the state's area of education.

Nesse trabalho, o docking e a dinâmica molecular foram utilizados como métodos de investigação das formas de interação entre um oligonucleotídeo de B-DNA e duas novas Bases de Tröger fluorescentes, com o propósito de verificar sua potencialidade como sondas biológicas. Para o docking molecular foi utilizado o protocolo descrito por Ricci et. al. (2009), que demonstrou ser um método promissor para reconhecer os modos de ligação e descrever a interação entre as Bases de Tröger e os oligonucleotídeos. Os complexos obtidos a partir dos docking foram utilizados como ponto de partida para as simulações de dinâmica molecular usando o programa GROMACS e o campo de força AMBER03, como descrito por Ricci et. al. (2010). A análise dos resultados das simulações mostraram a possibilidade, de que as Bases de Tröger podem interagir de maneiras diferentes com o oligonucleotídeo com preferência pela interação com sulco menor desse receptor. Durante todas as simulações os ligantes mantiveram-se com uma forte interação com o oligonucleotídeo, sem causar a desnaturação do mesmo. Globalmente, os resultados sugerem que as Bases de Tröger podem interagir com o sulco menor do oligonucleotídeo mas também são capazes de interagir como intercaladores. Devido as fortes interações, e també as propriedades fotofísicas (das Bases de Tröger propostas nesse trabalho), essas moléculas podem atuar como possíveis sondas biológicas. / In this work, docking and molecular dynamics simulations were used to ingestigate the interaction between a B-DNA oligonucleotide and two fluorescent Tröger´s bases, in order to verify their potential use as biological probes. For dockings was used protocol described by Ricci et. al. (2009), which proved to be a promising method to recognize the binding modes and describe the interaction between this class of compounds and the oligonucleotide. The complexes obtained from dockings were used as starting point for molecular dynamics simulations using GROMACS and the AMBER03 Force Field, as described by Ricci et. al. (2010). The analyzes of the simulation results showed the possibility that the Tröger Bases can interact in different ways with the oligonucleotide, with some preference for this receptor´s minor groove. During all simulations the ligands have maintained a strong interaction with the oligonucleotide, without causing denaturation of the same. Overall, the results suggest that Tröger´s Bases may interact with the minor groove of olinucleotide but are also able to interact as an intercalator, depending upon the substituents present. Due to the strong interactions, and also the peculiar photophysical properties, this class of molecules may act as a potential DNA probe.

Nesta dissertação será apresentada uma alternativa para o aprendizado do sensoriamento remoto através de uma página web, a qual pode ser utilizada como ferramenta de apoio às disciplinas regulares ou como material de pesquisa. Através da integração das linguagens de programação C e PHP, algumas das principais técnicas de processamento digital de imagens (PDI) são disponibilizadas via web juntamente com a explicação dos algoritmos, fórmulas e métodos utilizados, bem como é disponibilizado o material teórico sobre o assunto. / This Dissertation will be presented an alternative to the learning of remote sensing through a web page, which can be used as a tool to support regular disciplines or as material for research. Through the programming integration of the languages C and PHP, some of the main techniques for the processing of digital images (PDI) are available through the web as well as the algorithms explanation, formulas, used methods and the theoretical material on the subject.

Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-03-17T15:13:25Z No. of bitstreams: 1 dissertacao mestrado após alterações banca Copy.pdf: 2165404 bytes, checksum: 143e78d2a8df23ce0aa098625991160f (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-03-17T15:19:52Z (GMT) No. of bitstreams: 1 dissertacao mestrado após alterações banca Copy.pdf: 2165404 bytes, checksum: 143e78d2a8df23ce0aa098625991160f (MD5) / Made available in DSpace on 2017-03-17T15:19:52Z (GMT). No. of bitstreams: 1 dissertacao mestrado após alterações banca Copy.pdf: 2165404 bytes, checksum: 143e78d2a8df23ce0aa098625991160f (MD5) / O projeto de software na abordagem iterativa e incremental lida com novos requisitos ao longo do desenvolvimento, que implicam em constantes mudanças no projeto, e mecanismos que dêem suporte para o desenvolvimento na presença de informação parcial e incompleta são importantes para reduzir o impacto dessas mudanças. Expressar incertezas a respeito do comportamento pretendido do software ou componente pode evitar a tomada de decisões precipitadas, que poderiam acarretar em erros de projeto. Neste contexto, diversos trabalhos utilizam sistemas de transições modais para especificar um software e/ou seus componentes com informação parcial e utilizam relações e operações sobre estes modelos para dar suporte ao processo de desenvolvimento. Os sistemas de transições modais permitem expressar incerteza deforma explícita através de modalidades em suas transições. Sobre estes modelos, uma relação de refinamento pode ser definida para garantir que modelos criados, nas iterações e incrementos, respeitem as propriedades anteriormente definidas em outros modelos, garantindo a correção dos mesmos ao longo do processo de desenvolvimento. Além disto, operações para unificar diversos modelos de um mesmo componente em um único modelo e operações para representar execução em paralelo de diversos componentes em um nível de sistema, são propostas. Sistema de Transição Modal de Kripke (KMTS) é um tipo de sistema de transições modais que além de expressar modalidades em transições, também permite expressar indefinições em nível de proposições nos estados. A indeterminação nos estados é interessante, pois permite que vários estados sejam representados em um mesmo estado, evitando uma definição prévia de todos os estados do sistema nas fases iniciais do desenvolvimento. Todavia, existem poucos trabalhos que utilizam KMTS como modelos para especificação parcial aplicados no desenvolvimento de software. O presente trabalho estuda o uso de modelos KMTS para explicitar informações parciais durante o desenvolvimento de software, trazendo contribuições na criação, na análise e no reparo destes modelos. Em relação à criação de modelos propomos um algoritmo de síntese de modelos KMST a partir de diagramas de sequências anotados com Object Constraint Language (OCL) que é uma adaptação de um algoritmo proposto na literatura para modelos de transições modais (MTS). Em relação à análise de modelos, definimos as operações de conjunção e de composição paralela bem como a relação de refinamento modal forte para modelos KMTS. O conceito de refinamento para KMTS é também caracterizado nessa dissertação como um jogo e um algoritmo para o jogo do refinamento é proposto, discutido e validado. A contribuição no reparo de modelos se dá através do estudo do problema de reparo do refinamento para KMTS, isto é, como alterar um modelo KMTS para que ele seja um refinamento de outro modelo KMTS. Para este problema, algoritmos são também propostos, discutidos e validados. Entendemos que esta solução poderá trazer contribuições para o reparo automático de modelos e pode ser aplicada em outras áreas, como por exemplo, análise de impacto de mudanças para determinar qual a mudança menos custosa a se fazer em um determinado modelo para que ele possua determinadas propriedades. A partir das contribuições na construção, análise e reparo de modelos KMTS, o presente trabalho define a base para um framework formal que pode ser utilizado na construção e evolução de software.