Literatura académica sobre el tema "Formal"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.
Artículos de revistas sobre el tema "Formal"
Petroff, Valery V. "Philosophical and Aesthetic Views of Vyacheslav Ivanov in His Essay “Forma Formans and Forma Formata”". Studia Litterarum 4, n.º 2 (2019): 228–51. http://dx.doi.org/10.22455/2500-4247-2019-4-2-228-251.
Texto completoCATARINO, GISELLE FAUR DE CASTRO, GLÓRIA REGINA PESSÔA CAMPELLO QUEIROZ y MARIA DA CONCEIÇÃO DE ALMEIDA BARBOSA-LIMA. "O formal, o não formal e as outras formas: a aula de física como gênero discursivo". Revista Brasileira de Educação 22, n.º 69 (junio de 2017): 499–517. http://dx.doi.org/10.1590/s1413-24782017226925.
Texto completoWoleński, Jan. "What is Formal in Formal Semantics?" Dialectica 58, n.º 3 (23 de junio de 2005): 427–36. http://dx.doi.org/10.1111/j.1746-8361.2004.tb00315.x.
Texto completoTudor, Sofia Loredana. "Formal – Non-formal – Informal in Education". Procedia - Social and Behavioral Sciences 76 (abril de 2013): 821–26. http://dx.doi.org/10.1016/j.sbspro.2013.04.213.
Texto completoColomer Feliu, Jordi y Teresa Serra. "Communication in formal and non-formal science." Communication Papers 7, n.º 13 (25 de mayo de 2018): 217. http://dx.doi.org/10.33115/udg_bib/cp.v7i13.21990.
Texto completoSakurai, Taro. "On formal concepts of random formal contexts". Information Sciences 578 (noviembre de 2021): 615–20. http://dx.doi.org/10.1016/j.ins.2021.07.065.
Texto completoKURKE, HERBERT, DENIS V. OSIPOV y ALEXANDER B. ZHEGLOV. "FORMAL GROUPS ARISING FROM FORMAL PUNCTURED RIBBONS". International Journal of Mathematics 21, n.º 06 (junio de 2010): 755–97. http://dx.doi.org/10.1142/s0129167x10006203.
Texto completoBreuer, Peter T. y Simon Pickin. "A formal nethod (a networked formal method)". Innovations in Systems and Software Engineering 6, n.º 4 (21 de enero de 2010): 255–68. http://dx.doi.org/10.1007/s11334-009-0121-4.
Texto completoIbáñez D., Marcela. "Supervivencia de formas mercantiles simples de producción, una aproximación formal". Revista Desarrollo y Sociedad, n.º 39 (enero de 1997): 209–41. http://dx.doi.org/10.13043/dys.39.7.
Texto completoBorges Neto, José. "Semântica formal". Fórum Linguístico 17, Núm. Esp. (23 de junio de 2020): 4689–700. http://dx.doi.org/10.5007/1984-8412.2020v17nespp4689.
Texto completoTesis sobre el tema "Formal"
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 completoLibros sobre el tema "Formal"
Eckardt, Regine. Formale diachrone Semantik =: Formal diachronic semantics. Konstanz: Fachgruppe Sprachwissenschaft der Universität Konstanz, 1998.
Buscar texto completoRoss, Pat. Formal country. New York: Viking Studio Books, 1989.
Buscar texto completoRoss, Pat. Formal country. New York: Friedman/Fairfax, 1999.
Buscar texto completoFormal languages. Boston: Academic Press, 1987.
Buscar texto completo1955-, Poli Roberto, Simons Peter M y International Summer School in Philosophy and Artifical Intelligence on "Formal Ontology" (1991 : Bolzano, Italy), eds. Formal ontology. Dordrecht: Kluwer Academic Publishers, 1996.
Buscar texto completoFormal country. [Place of publication not identified]: Friedman Fairfax Pub, 2001.
Buscar texto completoJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Buscar texto completoDavid, Phelps, ed. Formal country. New York: Viking Studio Books, 1989.
Buscar texto completoPlante, Ellen M. Formal Victorian. New York, N.Y: Friedman/Fairfax Publishers, 1996.
Buscar texto completoDaan, Smit, ed. Formal Gardens. London: Tiger Books International, 1996.
Buscar texto completoCapítulos de libros sobre el tema "Formal"
Shu, Nan C. "FORMAL". En Application Development Systems, 2–26. Tokyo: Springer Japan, 1986. http://dx.doi.org/10.1007/978-4-431-68051-2_1.
Texto completoStraubing, Howard. "Formal Languages and Formal Logic". En Finite Automata, Formal Logic, and Circuit Complexity, 9–20. Boston, MA: Birkhäuser Boston, 1994. http://dx.doi.org/10.1007/978-1-4612-0289-9_2.
Texto completoThompson, Stephanie L., Tina Rosenblum y Barbara Koslowski. "Is Formal Training Really Formal?" En Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, 1270. New York: Routledge, 2022. http://dx.doi.org/10.4324/9781315782416-290.
Texto completoWieringa, Roel, Eric Dubois y Sander Huyts. "Integrating semi-formal and formal requirements". En Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 19–32. Cham: Springer International Publishing, 1997. http://dx.doi.org/10.1007/3-540-63107-0_2.
Texto completoGidley, Jennifer M. "Evolving Education: Pre-formal and Formal". En Postformal Education, 71–98. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29069-0_4.
Texto completoDuke, D. J. y M. D. Harrison. "From formal models to formal methods". En Software Engineering and Human-Computer Interaction, 159–73. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0035813.
Texto completoBarker, Gary, Felicia Knaul, Neide Cassaniga y Anita Schrader. "4. Formal and Non-formal Education". En Urban Girls, 45–56. Rugby, Warwickshire, United Kingdom: Practical Action Publishing, 2000. http://dx.doi.org/10.3362/9781780440491.004.
Texto completoSurry, Patrick D. y Nicholas J. Radcliffe. "Formal algorithms + formal representations =search strategies". En Parallel Problem Solving from Nature — PPSN IV, 366–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61723-x_1001.
Texto completoHerranz, Ángel y Juan José Moreno-Navarro. "Formal Extreme (and Extremely Formal) Programming". En Extreme Programming and Agile Processes in Software Engineering, 88–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44870-5_12.
Texto completoFodor, George A. "Formal Description". En Ontologically Controlled Autonomous Systems, 65–133. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5475-2_3.
Texto completoActas de conferencias sobre el tema "Formal"
Stoughton, Alley. "Experimenting with formal languages using forlan". En the 2008 international workshop. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1411260.1411267.
Texto completoMishra, A. K. y A. Chandra. "EQU-IITG: A multi-format formal equivalence checker". En 2011 International Conference on Energy, Automation, and Signal (ICEAS). IEEE, 2011. http://dx.doi.org/10.1109/iceas.2011.6147138.
Texto completoWing, Jeannette M. "Formal methods". En the 2013 ACM SIGAda annual conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2527269.2527291.
Texto completoZarzycki, Andrzej. "Formal mutations". En ACM SIGGRAPH ASIA 2009 Sketches. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1667146.1667151.
Texto completoLamsweerde, Axel van. "Formal specification". En the conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/336512.336546.
Texto completoWolfsthal, Yaron y Rebecca M. Gott. "Formal verification". En the 42nd annual conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1065579.1065755.
Texto completoScott, Alex. "The Importance of Data In Formal Safety Assesment". En Formal Safety Assessment. RINA, 2002. http://dx.doi.org/10.3940/rina.sa.2002.12.
Texto completoSpyrou, Kostas, Apostolos Papanikolaou, M. Samoulides, D. Servis y S. Papadogianni. "Risk Assessment of Double-Skin Bulk Carriers". En Formal Safety Assessment. RINA, 2002. http://dx.doi.org/10.3940/rina.sa.2002.07.
Texto completoLockett, Julian. "Formal Safety Assessment of Bulk Carriers Under 150m". En Formal Safety Assessment. RINA, 2002. http://dx.doi.org/10.3940/rina.sa.2002.04.
Texto completoWhite, Phil. "Where Does Formal Safety Assessment Go From Here?" En Formal Safety Assessment. RINA, 2002. http://dx.doi.org/10.3940/rina.sa.2002.16.
Texto completoInformes sobre el tema "Formal"
Allen, Robert y David Garlan. Formal Connectors. Fort Belvoir, VA: Defense Technical Information Center, marzo de 1994. http://dx.doi.org/10.21236/ada277611.
Texto completoWETSTONE TECHNOLOGIES CORTLAND NY. Formal Methods Framework. Fort Belvoir, VA: Defense Technical Information Center, febrero de 2002. http://dx.doi.org/10.21236/ada399514.
Texto completoPerlis, Donald. Formal and Implemented Pragmatics. Fort Belvoir, VA: Defense Technical Information Center, octubre de 2000. http://dx.doi.org/10.21236/ada384167.
Texto completoCort, G., W. Dearholt, S. Donahue, J. Frank, B. Perkins, R. Tyler y J. Wrye. Integrated formal operations plan. Office of Scientific and Technical Information (OSTI), enero de 1994. http://dx.doi.org/10.2172/10117514.
Texto completoCort, G., S. Donahue, J. Frank, B. Perkins y J. Wrye. Glossary of formal operations. Office of Scientific and Technical Information (OSTI), enero de 1994. http://dx.doi.org/10.2172/10117517.
Texto completoBerztiss, Alfs. Formal Specification of Software. Fort Belvoir, VA: Defense Technical Information Center, octubre de 1987. http://dx.doi.org/10.21236/ada236362.
Texto completoAmer, Paul D. Formal Design of Communication Protocols Based on The Estelle ISO Formal Description Technique. Fort Belvoir, VA: Defense Technical Information Center, octubre de 1999. http://dx.doi.org/10.21236/ada370116.
Texto completoKokar, Mieczyslaw M., Jerzy Weyman y Jerzy A. Tomasik. Fusion as an Operation on Formal Systems: A Formal Framework for Information Fusion. Fort Belvoir, VA: Defense Technical Information Center, abril de 2001. http://dx.doi.org/10.21236/ada387633.
Texto completoMatson, Eric y Scott DeLoach. Formal Transition in Agent Organizations. Fort Belvoir, VA: Defense Technical Information Center, enero de 2005. http://dx.doi.org/10.21236/ada443475.
Texto completoFang, Hanming, Rongzhu Ke y Li-An Zhou. Rosca Meets Formal Credit Market. Cambridge, MA: National Bureau of Economic Research, octubre de 2015. http://dx.doi.org/10.3386/w21683.
Texto completo