Tesis sobre el tema "Formal"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Formal".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Parent, Paul-Eugène. "Formal and non-formal homogeneous spaces of small rank". Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9873.
Texto completoPires, Joana Martins Rodrigues. "Ensino não-formal e formal em ciências: elementos integradores". Master's thesis, Universidade de Aveiro, 2011. http://hdl.handle.net/10773/8486.
Texto completoO ritmo a que se dá o desenvolvimento científico e tecnológico, na sociedade atual, é vertiginoso. Tal, conduz à necessidade dos indivíduos serem cada vez mais cultos cientificamente, de forma a vivenciarem uma cidadania ativa. Este enquadramento potenciou o aumento de espaços e ambientes nos quais se oferece uma educação científica de cariz não-formal, recorrendo a exposições bastante lúdicas e apelativas, visando um público bastante diversificado e sem qualquer carácter de obrigatoriedade. Tem-se verificado que estes fatores estimulam o interesse pela ciência. Ao repensar as consequências que esta nova realidade acarreta para o ensino formal que se pratica na maioria das escolas, alguns autores começam a defender a integração gradual entre os ensinos não-formal e formal. A presente investigação integra-se precisamente neste contexto, ou seja, na tentativa de implementação de elementos capazes de potenciar a integração entre estes dois tipos de ensino. Para tal, utilizou-se como atividade central a realização de uma iniciativa intitulada de Laboratório Aberto (LA), que visa a apresentação de atividades laboratoriais por alunos de Ciências Físico- Químicas (CFQ) a toda a comunidade escolar. As linhas orientadoras da edição do Laboratório Aberto aqui estudada, foram definidas com o intuito de estabelecer a integração entre o ensino formal, tradicionalmente associadas às das aulas de CFQ, e o ensino não-formal, associado àquele que é praticado no LA. Assim, perspetivou-se, uma forma de conseguir conciliar o aspeto mais lúdico e motivador das atividades relacionadas com a ciência, que representa o ensino não-formal, com a aquisição de conhecimentos e conteúdos curriculares, que caracteriza o ensino formal. O presente estudo trata-se de um estudo de caso e baseia-se, fundamentalmente, numa metodologia de índole predominantemente qualitativa, não obstante, o recurso a métodos quer qualitativos, quer quantitativos, na tentativa de tirar o melhor partido da complementaridade entre ambos, nomeadamente: observação, inquéritos por questionário e por entrevista. Para tal, um grupo de alunos do 8º ano de escolaridade – Alunos Dinamizares (AD) - utilizaram os conhecimentos e conteúdos adquiridos e assimilados nas aulas teóricas e laboratoriais de CFQ em atividades práticas que envolviam: reflexão, questionamento, pesquisa, idealização, planificação, produção e/ou montagem dos materiais, ensaios laboratoriais, explicação para e entre pares e, por fim, apresentavam atividades laboratoriais no Laboratório Aberto, a toda a comunidade escolar e, em particular, no âmbito deste estudo, aos seus pares – alunos compreendidos entre os 3º e 6º anos de escolaridade, mais novos que os AD, e que ainda não têm CFQ no seu currículo - Alunos Participantes (AP). Como elementos integradores entre os ensinos não-formal e formal, foram então implementados: i) atividades práticas laboratoriais (de cariz não-formal); ii) aprendizagem entre pares (seja AD-AD, ou AD- AP); iii) questionamento. A partir dos resultados obtidos, verificou-se todos estes elementos tiveram influência na integração entre os ensinos não-formal e formal, fazendo a alavancagem dos níveis: cognitivo dos alunos AD e AP, através da aquisição de conhecimentos e conteúdos formais; social e psicológico dos AD, através da promoção de sentimentos de autoestima, autoconfiança, autonomia e de responsabilidade perante a sua própria aprendizagem e a dos seus pares; motivacional e de interesse dos AP face a iniciativas deste género e à ciência, despertam-lhes a curiosidade, a vontade de “fazer experiências” e o almejar de, um dia, fazerem eles próprios o “papel de professor” no LA. Por fim, é de salientar que este estudo aponta um caminho possível e válido para a concretização da integração dos ensinos formal e não-formal, cuja complementaridade acarreta para os alunos um conjunto de mais-valias, a vários níveis, que dificilmente seriam adquiridas de outra forma.
The pace at which scientific and technological development takes place in today's society is staggering. This leads to the need for individuals to be scientifically more educated, in order to experience an active citizenship. This framework lead to the increase of places and environments in which a nonformal scientific based education is offered, using playful and very appealing exhibitions, targeting an enlarged public on a non-compulsory basis. It has been reported that these factors stimulate interest in science. On rethinking (about) the consequences that this new reality brings into formal education that is developed in most schools, some authors begin to defend the progressive integration of non-formal and formal education teaching. This is, precisely, the context of this research, ie, the attempt to implement elements capable of enhancing the integration between these two kinds of education. To do so, a central activity was developed called “Laboratório Aberto” – LA (meaning: Open Laboratory), which aims at the presentation of practical laboratorial activities carried on by Physics and Chemistry’s students to the whole school community. The guidelines of the edition of Open Laboratory studied here were defined in order to establish the integration of formal education, traditionally associated to Physics and Chemistry’s classes, and of non-formal education, which is associated with the ones in use in LA. Thus a new format was designed: a way of integrating more playful and motivating activities related to science, which represents the non-formal education, into the acquisition of knowledge of curricular contents that characterizes formal education. This study is a case study and is mainly based on largely qualitative research methodology. However, both qualitative and quantitative research methods were used, in an attempt to make the best use of the complementarities between both, namely: observation, questionnaires surveys and interviews. To this end, a group of 8 th grader students – Alunos Dinamizadores (AD, meaning: students that will lead, facilitate and monitor the activities) - have used the knowledge and the contents acquired and assimilated in formal Physics and Chemistry’s lessons and laboratorial practice classes in practical activities involving: reflection, questioning, research, conceiving, planning, producing and / or assembling materials, laboratory testing, peer explanation and, finally, the presentation of those laboratorial activities during the LA, to the whole school community and particularly, in this study, to their peers - students ranging between 3rd and 6th graders, that are younger than AD and still don´t have Physics and Chemistry in their curriculum – Alunos Participantes (AP, meaning participating or attending students). We implemented the integration of elements of non-formal education and formal ones: i) practical laboratorial activities (non-formal in nature), ii) peer learning (whether AD-AD, or AD-AP), iii) questioning. Through their analysis we concluded that all these elements influenced the integration of non-formal and formal education, levelling the different stages of aquisition: AP and AD students' cognitive level, through the acquisition of knowledge and formal contents; AD’s social and psychological levels, by promoting feelings of self-esteem, self-confidence, autonomy and responsibility towards their own learning and the one of their peers; AP’s levels of interest and motivation towards such initiatives, as well as science in general, which aroused their curiosity, the desire to "experiment" and the aim of developing themselves the "teacher role" in LA. To sum up, we would like to stress that this study points out a possible and valid way of achieving the integration of formal and non-formal education, whose complementarities enhance the students to a set of capital gains at different levels that would hardly be acquired in any other way.
Razali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments". Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.
Texto completoShlapunov, A. y Nikolai Tarkhanov. "Formal Poincaré lemma". Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2009/3023/.
Texto completoMarques, Bryan Valério. "Transição (in)formal". Master's thesis, Universidade de Lisboa. Faculdade de Arquitetura, 2015. http://hdl.handle.net/10400.5/12459.
Texto completoMiles, Geoffrey. "Untir'd spirits and formal constancy : Shakespeare's Roman plays and formal constancy". Thesis, University of Oxford, 1987. http://ora.ox.ac.uk/objects/uuid:c5830cc5-e1a4-4efa-ae40-98dc4d7eb651.
Texto completoCosta, Ana Sofia Gonçalves. "Pensamento crítico : articulação entre educação não-formal e formal em Ciências". Master's thesis, Universidade de Aveiro, 2007. http://hdl.handle.net/10773/1305.
Texto completoAtendendo que a promoção do Pensamento Crítico é indispensável, entre outros, para a resolução de problemas da vida quotidiana, numa sociedade democrática e, por outro, o Jardim da Ciência da Universidade de Aveiro é um contexto de educação não-formal destinado a crianças dos 5 aos 12 anos, este estudo tem como finalidade verificar se os recursos didácticos desenvolvidos no contexto desta investigação para a educação em Ciências no 1.º ciclo do ensino básico, articulando o ensino formal com o não-formal, promovem capacidades de pensamento crítico nos alunos. Trata-se de uma investigação quasi-experimental (Pré-teste/Pós-teste – Grupo Controlo/ Grupo Experimental), com uma amostra de alunos do 4.º ano de escolaridade, de quatro escolas do 1.º Ciclo do Ensino Básico, num total de 5 docentes envolvidos. O grupo experimental (n=44) foi sujeito à implementação dos recursos didácticos desenvolvidos neste estudo, os quais pretendem apelar intencionalmente conhecimentos sobre “Luz” e a Capacidades de Pensamento Crítico, tendo como base a taxonomia de Ennis. Com igual durabilidade, para o grupo de controlo (n=33), foram desenvolvidos recursos didácticos, a partir de actividades sobre a mesma temática, recolhidos junto de vários professores e de manuais escolares, mas sem relevância quanto à variável dependente, o Pensamento Crítico. Utilizou-se o Teste de Pensamento Crítico - Cornell (Nível X) para medir o nível e os aspectos do Pensamento Crítico da amostra deste estudo, antes e após a intervenção. Os recursos didácticos, desenvolvidos a partir da taxonomia de Ennis (1985ª, 1985b, 1987), promovem capacidades de Pensamento Crítico nos alunos, uma vez que os resultados obtidos apresentam diferenças estatisticamente significativas entre o grupo de controlo e o grupo experimental no nível e em todos os aspectos do Pensamento Crítico. Verificaram-se, ainda, para o grupo experimental, ganhos estatisticamente significativos do pré-teste para o pósteste, no nível e nos aspectos do Pensamento Crítico. Para o grupo de controlo, não se verificaram quaisquer ganhos estatisticamente significativos. Os recursos didácticos desenvolvidos neste estudo afiguram-se como um contributo para se articular a Educação Formal em Ciências no 1.º Ciclo do Ensino Básico com a Educação Não-formal, neste caso o “Jardim da Ciência” da Universidade de Aveiro. ABSTRACT: Considering that Critical Thinking may be a keystone in dealing with daily problems witch may occur in a democratic society and that the “Science Garden” of Aveiro University is a non-formal education context for children between 5 and 12 years old, the main purpose of the study in Sciences on the Primary school was to evaluate if the didactic resources, which were developed during this research and combined both formal and non-formal teaching, help to promote pupils’ Critical Thinking abilities. This quasi-experimental study (Pre-test / Post-test - Control Group / Experimental Group) that were carried out involved a sample of 4th grade pupils, from four different primary schools, involving 5 teachers. The experimental group (n=44) explored the didactical resourses developed in this study, which attempted to appeal intentionally for knowledge about “Light” and for Critical Thinking abilities, based on Ennis’s Taxonomy (of critical thinking). With equal durability, the Control Group (n=33) explored other didactical resources about the same theme (Light),which activities were collected from several teachers and textbooks, but without relevance with regard to the dependent variable is concerned, the Critical Thinking. To measure Critical Thinking level and aspects of the sample of this study, before and after the intervention, Critical Thinking - Cornell (Level X) was used. The results showed that the developed didactic resources, based on Ennis’s Taxonomy (1985a, 1985b, 1987), promoted Critical Thinking abilities among pupils, as the differences between the Control Group and Experimental Group were statistically significant in level and all aspects of Critical Thinking. The evidence suggested that the profits among the Experimental Group since the pre-test to the post-test were statistically significant also in level and all aspects of Critical Thinking. On the other hand, there was no evidence of statistically significant profits among the Control Group. The results indicate that the didactic recourses developed during this study can be used as a tool to combine Formal Education in Sciences on the Primary School with Non-formal Education, which “Science Garden” from Aveiro University is a clear example.
Billa, Cleo Zanella. "Um experimento formal para avaliar novas formas de visualização de prontuários clínicos eletrônicos". [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275816.
Texto completoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-16T05:40:57Z (GMT). No. of bitstreams: 1 Billa_CleoZanella_D.pdf: 3316703 bytes, checksum: 82c6b703f196ad4980b583703c56be1f (MD5) Previous issue date: 2009
Resumo: Atualmente, o uso da computação na medicina vem crescendo cada vez mais, e um dos temas mais discutidos é o prontuário clínico eletrônico. é consenso que a utilização de um prontuário eletrônico pode facilitar o trabalho do profissional de saúde e melhorar ainda mais a qualidade do cuidado em saúde, porém ainda existe muita discussão sobre como ele deve ser e quais ferramentas deve oferecer. Este trabalho propõe duas novas formas de visualização do prontuário. A primeira é um sumário com as informações mais relevantes do paciente. A segunda é a representação dos dados do paciente através de um diagrama, onde o profissional de saúde pode expressar o design rationale (DR) da consulta. A área de sumarização automática é um problema altamente complexo, e apesar de terem sido usados procedimentos muito simples, o experimento realizado mostrou que o processo foi suficiente para construir um sumário com o mínimo de informações necessárias para que o quadro clínico do paciente pudesse ser entendido. Alguns estudos apontam que a falta de informação sobre o processo de diagnóstico e sobre o planejamento do tratamento é uma das principais falhas de um sistema de prontuário eletrônico. Por isso, foi sugerida uma representação que utiliza diagramas para armazenar e visualizar, além dos dados do paciente, o raciocínio do profissional de saúde durante uma consulta. Essa técnica é conhecida como design rationale, e é usada, principalmente, na área de engenharia de software. Além de propor essas duas novas formas de visualização do prontuário clínico, foi realizado um experimento formal com o objetivo de testar o sumário e o diagrama com DR na prática. O experimento ocorreu em um ambulatório de clínica geral da Unifesp, onde alunos do curso de medicina recebiam o sumário, ou o diagrama com DR, ou o prontuário clínico tradicional e respondiam questões sobre um determinado caso. Os resultados do experimento mostram que o sumário continha informações suficientes para avaliar o quadro clínico do paciente; porém, eles também mostram que o diagrama com DR provavelmente não apresentou nenhuma vantagem em relação ao prontuário tradicional
Abstract: Collaboration between computer science and medicine is growing day by day, and one of the most controversial topics is the electronic patient record (EPR). Despite all scientists agree that the EPR can improve health care quality, how it should behave, or what tools it should provide are still open questions. This work suggests two ways to visualize the EPR. The first is through a summary, with the most important information of the patient. And, the second, is a diagram where the physician is able to express his design rationale. Summarization is a complex problem, and despite very simple procedures were used, the experimental evaluation shows that the summary contains as much information as the traditional EPR. The idea of diagrams to visualize the EPR was originated in a technique called design rationale (DR), used, mostly, in Software Engineering. Its major goal is to reproduce the rationale during a project design. Some researches pointed out that one of the major limitations of EPR is the lack of information about diagnosis processes, and treatment planning. To evaluate these new ways of visualization of the EPR, an experimental evaluation was performed to test the summary and the diagram in real practice. The experiment was conduct in a outpatient care clinic at Unifesp, where medical students use the summary, or the diagram, or the traditional EPR to answer questions about specific patients. The results of the experiment show that the summary was equivalent to the traditional EPR, and that the diagram no not show any leverage to the traditional EPR
Doutorado
Informática Médica
Doutor em Ciência da Computação
Yust, Jason D. "Formal models of prolongation /". Thesis, Connect to this title online; UW restricted, 2006. http://hdl.handle.net/1773/11317.
Texto completoCarbogim, Daniela Vasconcelos. "Dynamics in formal argumentation". Thesis, University of Edinburgh, 2000. http://hdl.handle.net/1842/591.
Texto completoPalmer, John. "Formal strategies in composition". Thesis, City University London, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261323.
Texto completoGallagher, Alexis. "Evolvability : a formal approach". Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:d3b0511e-bee5-4778-8822-703c514c1c1d.
Texto completoAlmeida, João Marcos de. "Logics of formal inconsistency". [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281301.
Texto completoTexto em ingles e portugues
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico
Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005
Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação.
Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation.
Doutorado
Filosofia
Doutor em Filosofia e Matemática
Machado, Rodrigo. "Semântica formal para TVQL". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/6037.
Texto completoShen, Gongqin. "Formal Concepts and Applications". Case Western Reserve University School of Graduate Studies / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=case1121454398.
Texto completoValentine, Edward Eugene Jr. "Focusing on the formal". The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1315340805.
Texto completoAlama, Jesse. "Formal proofs and refutations /". May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Texto completoPetschulat, Cap. "Transparency in formal proof". [Boise, Idaho] : Boise State University, 2009. http://scholarworks.boisestate.edu/td/54/.
Texto completoHekmatpour, S. "Formal specification based prototyping". Thesis, Open University, 1987. http://oro.open.ac.uk/57020/.
Texto completoMüller, Alcenir Ester. "Educação formal em ciência". reponame:Repositório Institucional da UFSC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/101031.
Texto completoMade available in DSpace on 2013-06-26T00:56:57Z (GMT). No. of bitstreams: 1 310523.pdf: 1706015 bytes, checksum: 1576b35a7e917e11b42312e99e0cbfa9 (MD5)
As pesquisas acadêmicas na área de Educação justificam-se pela sua importância intrínseca de discutir as mudanças e alterações na educação brasileira, bem como o cenário sociopolítico dos estudantes, as novas tecnologias e sua aplicabilidade e utilização no ensino, enfim, o movimento constante que é a educação. A velocidade nas transformações científicas e tecnológicas ocorre de tal forma, que muitas vezes, o trabalho escolar e de docência não acompanha essa demanda, principalmente no ensino público onde os investimentos não são prioridade, apesar de a legislação afirmar esse direito. Recai essa busca por melhores condições de ensino, diretamente sobre a comunidade escolar de acordo com seu planejamento e condições possíveis que lhe cabem. Rever nossas perspectivas, enquanto educadores públicos tornam-se uma missão isolada e particularmente unilateral, mas conscientemente necessária. O presente trabalho tem como objetivo investigar, problematizar e discutir as diferentes concepções de Ciência, Tecnologia e Sociedade que os estudantes possuem ao terminarem o Ensino Fundamental, ou seja, após oito anos de ensino formal de ciências, entendendo e delineando qual foi à abrangência do conhecimento científico e tecnológico em relação à sociedade que estes estudantes comungam. Tais questões foram importantes no cenário do ensino de ciências e foi possível perceber a necessidade de Alfabetizar Científica e Tecnologicamente de forma mais efetiva nossos estudantes para que possam emitir juízo de valor a respeito das questões relativas à ciência e à tecnologia. A partir deste levantamento de dados e diagnósticos social, que foi feito em duas escolas da Rede Pública de Ensino - Municipal e Estadual, gerou alternativas metodológicas para os temas de CTS durante o Ensino Fundamental. Compreendendo melhor o elo social da C&T, para não delimitar apenas um tipo de visão sobre elas e desenvolver outros aspectos de análise desses conceitos durante as aulas, e outros tipos de discussões ampliando ações críticas e que o estudante tenha mais autonomia em suas ações no decorrer de sua vida. Imagino que assim é possível aproximar de uma educação pública e de qualidade como nossa legislação brasileira discorre.
Abstract : Academic researches in the field of education are justified by their intrinsic importance in discussing the shift of the Brazilian education, as well as the socio-political scenario of students, the new technologies and their relevance and use in teaching; in sum, the constant movement called education. The velocity of scientific and technological changes occur in a way that, usually, school work and teaching do not follow its demands, especially in public education where the investments are not a priority, despite being a right guaranteed by law. The search for better teaching conditions is thrown directly to the school community based on its planning and resources. Reflecting about our own perspectives as educators in public institutions become an isolated mission and particularly one-sided, but very necessary. This study aims to investigate, question and discuss the different conceptions of Science, Technology and Society (STS) that students retain after graduating the middle school. At that point, after eight years of formal education, they would understand and delineate the purpose of the scientific and technological knowledge related to the society that they live in. Such issues were very important in the Science education scenario and we perceived the need to help the students to be scientific and technologically literate in a more effective way then they would form their own judgment values about science and technology. The data collection and social diagnosis were done in two public schools # one municipal and another one from the state -, and generated methodological alternatives for the topics of STS to the middle school. By understanding better the social bond of S&T in a broad way - not just defining a single view about them, and developing other aspects of the analysis of these concepts during the classes, and other kinds of discussions related to critical actions -, then the students will have more autonomy in the course of their lives. I imagine that this way it is possible to reach a high quality in public education as the one that the Brazilian legislation already guarantees.
Lopes, Cornélio Márcio. "Refactoring as formal refinements". Universidade Federal de Pernambuco, 2004. https://repositorio.ufpe.br/handle/123456789/1891.
Texto completoA reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em compila»c~ao e testes para assegurar a preserva»c~ao do comportamento. Trabalhos como os de Opdyke e Roberts foram realizados com vistas µa formaliza»c~ao de refac- torings por meio da identi¯ca»c~ao de condi»c~oes que devem ser satisfeitas para assegurar que uma mudan»ca num programa preserva o comportamento do mesmo. As condi»c~oes, geralmente escritas na linguagem do c¶alculo de predicados, s~ao introduzidas como pr¶e e p¶os-condi»c~oes dos refactor- ings. Outras abordagens para a prova de preserva»c~ao do comportamento de refactorings usam formalismos como an¶alise conceitual e reescritura de grafos. Contudo, n~ao h¶a t¶ecnica alg¶ebrica que apresente refactorings como transforma»c~oes que preservam o comportamento, com prova deste fato. Nossa principal contribui»c~ao constitui-se na apresenta»c~ao de refactorings como transforma»c~oes de programas escritos em rool (Re¯nement object-oriented Language), uma linguagem baseada em Java, com classes, controle de visibilidade, liga»c~ao din^amica, e recurs~ao. A linguagem rool permite que raciocinemos sobre programas orientados a objetos e especi¯ca»c~oes, pois a mesma une estas constru»c~oes como no c¶alculo de re¯namentos de Morgan. A sem^antica de rool ¶e baseada em weakest preconditions. Um conjunto de leis de programa»c~ao est¶a dispon¶³vel tanto para os comandos imperativos de rool quanto para construtores relacionados µa orienta»c~ao a objetos. A prova, na sem^antica de rool, de que tais leis s~ao corretas, ¶e tamb¶em uma contribui»c~ao do presente trabalho. Apresentamos refactorings como regras alg¶ebricas de re¯namento envolvendo programas. A prova da preserva»c~ao do comportamento ¶e realizada pela aplica»c~ao de leis de programa»c~ao a um lado da regra a ¯m de obtermos o lado oposto. N¶os generalizamos a t¶ecnica padr~ao de re¯namento de dados a ¯m de lidar com hierarquia de classes. Neste trabalho tamb¶em apresentamos como obter um sistema estruturado segundo um padr~ao de projeto, por meio da aplica»c~ao de regras de refactoring. Padr~oes de projeto constituem-se num objetivo natural para a realiza»c~ao de transforma»c~oes por meio da aplica»c~ao de refactorings. Trabalhos presentes na literatura sobre padr~oes de projeto que prop~oem a formaliza»c~ao dos mesmos, em geral, concentram-se em suas descri»c~oes formais, n~ao na transforma»c~ao de um sistema com vistas a estrutur¶a-lo de acordo com padr~oes de projeto. Tamb¶em apresentamos a transforma»c~ao de uma aplica»c~ao monol¶³tica para uma aplica»c~ao estruturada segundo um padr~ao arquitetural.
Prinz, Andreas. "Formal Semantics for SDL". Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.
Texto completoIn this habilitation thesis the formal semantics of the standardised specification language SDL (Specification and Description Language) is described. Because of the size of the language SDL a representative subset of the language called RSDL (Restricted SDL) was selected to present the concepts of the formal definition. In this thesis two major parts are covered: the definition of the formal semantics and its implementation. The RSDL formal semantics is intelligible, easily comparable with the informal description and represents the general understanding of RSDL. We distinguish between two phases of the definition, namely the static semantics and the dynamic semantics. The static semantics comprises the definition of a concrete grammar, a set of correctness constraints, a set of transformation rules and an abstract syntax as basis for the dynamic semantics. The result of the static semantics is a representation of the specification in abstract syntax. The dynamic semantics starts with the abstract syntax. From here a behaviour model is derived based on the theory of Abstract State Machines (ASM). In order to keep the presentation intelligible a special abstract machine is defined using ASM. This abstract machine in fact represents an abstract SDL-machine. The formal semantics describes the properties of SDL exactly. However, in order to check the correctness of the formalisation, it has to be compared with the informal language description and the intentions of the language designers. This is most easily done using a correct implementation of the semantics. The implementation of the semantics is based on a representation of the input as an abstract syntax tree. For implementing the semantics with minimal effort existing tools are used. The compiler is produced using the standard tools lex and yacc. After parsing the remaining processing is defined over abstract syntax trees, which is covered by a tool called kimwitu. The formal semantics of RSDL is implemented using these tools. The same approach is applicable for SDL.
Almeida, João Marcos de 1974. "Logics of Formal Inconsistency". Phd thesis, Instituições portuguesas -- UTL-Universidade Técnica de Lisboa -- IST-Instituto Superior Técnico -- -Departamento de Matemática, 2005. http://dited.bn.pt:80/29635.
Texto completoEleftherakis, George. "Formal verification of X-machine models : towards formal development of computer-based systems". Thesis, University of Sheffield, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012.
Texto completoMokrani, Hocine. "Assistance au raffinement dans la conception des systèmes embarqués". Thesis, Paris, ENST, 2014. http://www.theses.fr/2014ENST0029/document.
Texto completoIn the last decade, the complexity of embedded systems has exploded and the usual industrial design flows do not suffice any more to propose reliable products while respecting time to market constrain. Thus, developing new design methodologies has become an imperative. The thesis aims at the improvement of the methodologies of conception of the embedded systems. It proposes a method for assisting the process of refinement along the design flow. The proposed approach splits the design flow into multiple-levels, in order to guide the designer in the design process, from the most abstract model down to a synthesizable model. Furthermore, by using formal techniques the method allows to check the preservation of functional correctness along the design flow
Lisowski, Matthew A. "Development of a target recognition system using formal and semi-formal software modeling methods". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA386925.
Texto completoThesis advisors, Neil Rowe, Man-Tak Shing. "December 2000." Includes bibliographical references (p. 101-102). Also available in print.
Machado, Maria Elisabete. "Diálogos em roda: uma práxis pedagógica possível com a educação formal e não formal". Pontifícia Universidade Católica do Rio Grande do Sul, 2012. http://hdl.handle.net/10923/2889.
Texto completoLa presente pesquisa intento descubrir el potencial transformador de la praxis pedagógica en los Diálogos en Rueda. Se trata de una perspectiva metodológica inaudito viable que se realiza de acuerdo al compromiso con las personas de la pesquisa. Teniendo Paulo Freire como referencia central, se comprende que es posible, en el movimiento de los diálogos en rueda, por medio de una práxis basada en la reflexión sobre la práctica, constituir un proceso de educación emancipadora a fin de promover la conciencia y la potenciación de los sujetos. La pesquisa fue realizada a partir de las experiencias de la investigadora con una trilogía de ruedas: la Rueda Cultural de Lecturas Freireanas, como grupo de investigación en la Universidad; la Rueda celebrada en el espacio no formal, en el intercambio de la experiencia con educadores/as del Movimiento por los Derechos del Niño y del Adolescente (MDCA) y, especialmente, la Rueda realizada en una Escuela Estatal de Enseñanza Fundamental, em la experiencia de la investigadora como educadora alfabetizadora. Resulta de esta pesquisa la comprensión de que los diálogos en rueda, con el apoyo del diario de pesquisa, contribuyen a minimizar la distancia en las relaciones que se establecen entre educador y educandos y para fortalecer el aprendizaje. Los contenidos que contribuyen a este proceso surgen del análisis de los datos procedentes de los diarios de pesquisa de los educandos. Se puede percibir el diálogo como un contenido procesal y la confianza como un contenido atitudinal, ambos importantes contribuciones para el aprendizaje. En este sentido es responsabilidad del educador, junto con los educandos, crear en clase un ambiente de dialogo y de confianza. spa
A presente pesquisa buscou desvelar o potencial transformador da práxis pedagógica nos Diálogos em Roda. Essa é uma perspectiva metodológica inédito-viável, que se realiza em função do compromisso com os sujeitos da pesquisa. Assumindo Paulo Freire como referência central, compreende-se que é possível, no movimento dos diálogos em roda, por meio de uma práxis alicerçada na reflexão sobre a prática, constituir um processo educativo emancipatório, de modo a promover a tomada de consciência e o empoderamento dos sujeitos. A pesquisa realizou-se a partir das experiências da pesquisadora com uma trilogia de rodas: a Roda Cultural de Leituras Freireanas, como grupo de pesquisa na Universidade; a Roda realizada no espaço não formal, na partilha da experiência com educadores/as do Movimento pelos Direitos da Criança e do Adolescente (MDCA); e, especialmente, a Roda realizada em uma Escola Estadual de Ensino Fundamental, na experiência da pesquisadora como educadora alfabetizadora. Resulta desta pesquisa a compreensão de que os diálogos em roda, com o apoio do diário de pesquisa, contribuem para minimizar a distância nas relações que se estabelecem entre educador e educandos e para fortalecer as aprendizagens. Os conteúdos que contribuem para este processo emergem da análise dos dados procedentes dos diários de pesquisa dos educandos. Pôde-se perceber o diálogo como um conteúdo procedimental e a confiança como um conteúdo atitudinal, ambos importantes contribuições para a aprendizagem. Nesse sentido, é responsabilidade do educador, juntamente com os educandos, criar na sala de aula um ambiente de diálogo e de confiança.
Fredriksen, Inge. "Formal Methods for System Development". Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.
Texto completoTwo main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification languages, VDM and Z, and some prominent model checkers, FDR, Spin, and LTSA, have been learnt and presented. A tutorial for the formal verification tool Spin is created. The tutorial is example driven and describes the description language Promela and the verification methods available in Spin. Care has been taken to illustrate reasoning about the results from Spin. Topics discussed include the applicability and need for formal methods, the possible need for understanding the underlying theory, and considerations made in regards to creating the tutorial.
Tristan, Jean-Baptiste. "Formal verification of translation validators". Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00437582.
Texto completoLascarides, Alex y Matthew Stone. "Formal semantics for iconic gesture". Universität Potsdam, 2006. http://opus.kobv.de/ubp/volltexte/2006/1033/.
Texto completoStrand, Magnus. "The Formal Concept of Discrimination". Thesis, Lunds universitet, Juridiska fakulteten, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-161162.
Texto completoTrinh, Cong Quy. "Formal Verification of Skiplist Algorithms". Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160314.
Texto completoHughes, Thomas S. "Animation prototyping of formal specifications". Thesis, Loughborough University, 1992. https://dspace.lboro.ac.uk/2134/27241.
Texto completoXu, Sanjia. "Formal total synthesis of (±)-tetrodotoxin". Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/59489.
Texto completoScience, Faculty of
Chemistry, Department of
Graduate
Meziane, F. "From English to formal specifications". Thesis, University of Salford, 1994. http://usir.salford.ac.uk/1732/.
Texto completoDragomir, Ciprian. "Formal verification of P systems". Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/15452/.
Texto completoBenghabrit, Walid. "A formal model for accountability". Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0043/document.
Texto completoNowadays we are witnessing the democratization ofcloud services. As a result, more and more end-users(individuals and businesses) are using these services intheir daily life. In such scenarios, personal data isgenerally flowed between several entities. End-usersneed to be aware of the management, processing,storage and retention of personal data, and to havenecessary means to hold service providers accountablefor the use of their data. In this thesis we present anaccountability framework called AccountabilityLaboratory (AccLab) that allows to consideraccountability from design time to implementation time ofa system. In order to reconcile the legal world and thecomputer science world, we developed a language calledAbstract Accountability Language (AAL) that allows towrite obligations and accountability policies. Thislanguage is based on a formal logic called First OrderLinear Temporal Logic (FOTL) which allows to check thecoherence of the accountability policies and thecompliance between two policies. These policies aretranslated into a temporal logic called FO-DTL 3, which isassociated with a monitoring technique based on formularewriting. Finally, we developed a monitoring tool calledAccountability Monitoring (AccMon) which providesmeans to monitor accountability policies in the context ofa real system. These policies are based on FO-DTL 3logic and the framework can act in both centralized anddistributed modes and can run into on-line and off-linemodes
Matthews, Chris y mikewood@deakin edu au. "Fuzzy concepts and formal methods". Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.
Texto completoDiener, Glendon. "Formal languages in music theory". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59610.
Texto completoChen, Y. "Formal methods for global synchrony". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295.
Texto completoGoldsmith, M. H. "Logic, programming and formal specification". Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.
Texto completoPancho, Susan B. "Contributions of formal security proofs". Thesis, University of Cambridge, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620085.
Texto completoHinchey, Michael Gerard. "Structural design and formal methods". Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624390.
Texto completoHurd, J. "Formal verification of probabilistic algorithms". Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604823.
Texto completoJefferson, Nigel Patrick. "Dependable compositions : a formal approach". Thesis, University of Newcastle Upon Tyne, 2007. http://hdl.handle.net/10443/1959.
Texto completoHarman, Neal Andrew. "Formal specifications for digital systems". Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235627.
Texto completoRead, Simon. "Formal methods for VLSI design". Thesis, University of Manchester, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239786.
Texto completoSalter, Ian Kingsley. "The design of formal languages". Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321641.
Texto completoSmith, Simon Robert. "Formal justification in requirements engineering". Thesis, University of York, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.319716.
Texto completoHill, Howard Paul. "Applications of formal design matrices". Thesis, City University London, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312955.
Texto completo