Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Gênero, sexualidade e educação formal no Brasil: uma análise preliminar da produção acadêmica entre 1990 e 2006

Cet article présente les résultats de la recherche Démocratisation de la connaissance: recherche de pointe sur le genre et l'éducation formelle comme soutien pour formuler des agendas et des actions de politiques gouvernementales et non gouvernementales. Développée entre 2006 et 2007, elle visait à met re à jour, systématiser et diffuser la connaissance accumulée dans la production universitaire brésilienne sur les liens entre l'éducation formelle et les thématiques du genre, des femmes et/ou de la sexualité. Une banque de données contenant le titre et le résumé de 1 213 dissertations, thèses et articles a été constituée. Nous soulignons autant les défis théoriques, concernant une meilleure compréhension des concepts étudiés par cete enquête, que les défis méthodologique, comme la définition des descripteurs et des sources devant être examinées. Sa conclusion présente des tableaux et graphiques qui tracent un portrait initial des documents disponibles dans la base de données et indiquent que ces thématiques ont été l'objet d'un intérêt croissant sur la période étudiée.

Medidas de desempenho escolar: avaliação formal e opinião de professores

O objetivo deste estudo foi comparar o desempenho de escolares em relação à avaliação formal e a opinião de professores. Participaram 164 escolares de ensino fundamental de cidade do interior paulista, sendo 81 do sexo masculino e 83 do sexo feminino. Foi utilizado o Teste de Desempenho Escolar e foram definidos 2 grupos, segundo a opinião da professora quanto ao desempenho normal e abaixo da média. Os resultados revelaram diferença significativa indicando que o menor desempenho foi verificado para o sexo masculino e para a quarta série. As médias do grupo definido pela professora com desempenho inferior foram abaixo do esperado e diferiram significativamente. A opinião da professora neste estudo foi fundamental para a identificação dos problemas relacionados à escolaridade.

Conteúdos lúdicos, expressivos e artísticos na educação formal

A prática de atividades lúdicas ou o incentivo ao fluir expressivo e artístico são propostas que permeiam a Educação, desde a Antiguidade Clássica. Atualmente, a necessidade premente de atentar para a inclusão contextualizada dessas práticas, vem sendo convalidada pelas diretrizes propostas pelos Parâmetros Curriculares tanto das disciplinas de Educação Física, como da Educação Artística. Entretanto esse espaço, ainda sutil, merece enfoque mais incisivo, por meio de estudos mais aprofundados acompanhados de práticas direcionadas que convalidem sua relevância. Assim, este estudo, de natureza qualitativa, objetivou investigar se essas variáveis estão disponíveis dentro dos conteúdos disseminados pelos professores e se possuem um espaço destinado ou não dentro da Educação formal. Para tanto, foi realizado um estudo exploratório com trinta professores voluntários, de ambos os sexos, pesquisados in loco, com consentimento livre e esclarecido, das disciplinas de Educação Física e Artística, utilizando como instrumento, para a coleta de dados, um questionário com perguntas mistas. Os dados foram analisados descritivamente, indicando que é possível notar a presença do lúdico e da arte, em ambas as disciplinas; mediando os processos de aprendizagem. Além disso, que os professores utilizam amplamente desses recursos, no entanto, nem sempre, de forma consciente e contextualizada, e que, apesar da implantação dos parâmetros curriculares desde 1998, esse espaço ainda não está consolidado.

Relación de dependencia del trabajo formal y brechas de protección social en América Latina y el Caribe

Incluye Bibliografía

Fuerza laboral femenina en la Republica Dominicana: un proyecto de investigacion, educacion y accion con obreras industriales

Incluye Bibliografía

Trabajo de la mujer en la educacion de sobrevivencia familiar: Chile

Incluye Bibliografía

Proyecto Nos Juntamos Y?: una experiencia de educacion comunitaria de la sexualidad con parejas de sectores populares, Chile""

Incluye Bibliografía

Implicaciones de la política macroeconómica, los choques externos y los sistemas de protección social en la pobreza, la desigualdad y la vulnerabilidad en América Latina y el Caribe: Nicaragua

Incluye Bibliografía

Relación de dependencia del trabajo formal y brechas de protección social en América Latina y el Caribe

Incluye Bibliografía

Programa de prevención de violencia a través de proyectos de resolución de conflictos y mediación de pares en escuelas con niños y jóvenes en riesgo y en grupos de educación no formal, San Carlos de Bariloche, Argentina

Incluye Bibliografía

Difusão do trabalho agrícola formal no Brasil e sua dinâmica multiescalar

This paper aims to analyze the geographical dynamics of work from the spread of formal employment in the agricultural sector in Northeast Brazil. In recent years the region has had highlighted a growing movement to produce fruit for export, resulting in the promotion of important sociospatial transformations arising from the formation of a capitalist labor market. Data about the increase in the number of formal jobs show the impact of fruit growing agribusiness in the establishment of a new social and territorial division of labor. However, our study draws attention to the existence of a framework dominated for the vulnerability of the labor market by the persistence of seasonality and precarious working conditions.

Chile: relacion entre la oferta y la demanda de mano de obra con educacion tecnico-industrial, 1970-1980

Incluye Bibliografía

Evolucion de los efectivos escolares de la educacion general basica de Chile para el periodo 1964-69

Incluye Bibliografía

Peru: migracion, educacion y fecundidad en los estratos sociales bajos de Lima metropolitana

Incluye Bibliografía