Os efeitos das transferências de renda sobre a duração do emprego no mercado formal

A população pobre brasileira é analisada em relação a um suposto efeito preguiça, que seria causado pela diminuição de oferta de trabalho das famílias que recebem o benefício financeiro do Programa Bolsa Família. Um modelo de sobrevivência foi usado para comparar a duração no emprego entre beneficiários do programa e um grupo controle, utilizando uma base de dados com mais de 3 milhões de indivíduos. A hipótese de um efeito preguiça é rejeitada. O risco de desligamento do emprego para os beneficiários do Bolsa Família é medido como sendo de 7% a 10% menor, o que é capaz de anular, por exemplo, o maior risco de saída do emprego causado pela presença de filhos pequenos na composição familiar.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Os desafios da educação hospitalar para além da escola formal: um estudo das práticas desses educadores

Orientador: Robson Luiz de França

Representações sociais de velhice em contexto de prestação formal de cuidados

Universidade da Madeira. Centro de Ciência e Tecnologia da Madeira

Da emigração entre continentes em Eça de Queiroz: da correspondência consular à obra literária

Nas últimas três décadas do século XIX, dado o estado de abatimento sentido no país, Eça de Queiroz, plenamente integrado no ambiente buliçoso e efervescente da sua geração, compara a situação de Portugal com a da Grécia, países que considera caóticos, dadas as políticas de rotina e sem imaginação que não conduzem o país ao desenvolvimento e ao progresso. De facto, Portugal não consegue acompanhar o ritmo dos outros países europeus e obriga os portugueses a emigrar. A principal característica da sua escrita é a ironia, aproximando-se da posição socrática, uma arma de intervenção intelectual, de cariz ético, vinculadora e libertadora, que lhe permite intervir e depurar problemas do seu tempo, procurando construir um Portugal como entendia que deveria ser. Durante o percurso de vida que permeia a publicação de As Farpas e de Uma Campanha Alegre, e na correspondência e a obra literária, Eça de Queiroz questiona o “sonho americano”, que muitos portugueses quiseram experimentar, e o brasileiro, no âmbito de uma vasta crítica à sociedade burguesa. A defesa da mudança do rumo da emigração portuguesa da América do Norte para o Brasil prende-se com a relação de ilusão/desilusão que marca a sua experiência consular em Havana e as viagens que faz. O pensamento do escritor e cônsul evolui para o entendimento da emigração, como a arte, é considerada uma das forças civilizadoras da humanidade. Muitas da suas personagens circulam entre o Velho e Novo Mundo, têm um pé dentro e outro fora do país, migram pelas mais variadas razões, fazendo retratos nas suas obras das suas movimentações, construindo uma estética sobre o país que se baseia na ética dos valores humanos que possui e na experiência que adquiriu.

Outorga onerosa do direito de construir e dinâmica do mercado imobiliário formal: planejamento e descaminhos na expansão urbana de Parnamirim RN (2008-2010)

The `Outorga Onerosa do Direito de Construir - OODC` (Public Concession of Building Rights), instrument instituted by The City Statute in 2001, has as main objective the recovery of urban property, seeking for a fair distribution the urbanization benefits. The possibility of usage of the OODC instrument is linked to the maximum utilization coefficient, determined to specific areas in accordance to existing infrastructure conditions, further taking into account the formal real estate market, expansion axis and crowding. Being an instrument which establishes values to be paid for a better use of land, it maintains a narrow relation to the real estate, incentivizing or discouraging the crowding in specific areas. The present study investigates the relationship between the criteria for the making of the Public Concession of Building Rights instrument and the dynamics of the formal real estate market. It takes as empiric universe Parnamirim (RN), part of the Natal Metropolitan Area (RN), focusing on the application of the OODC in the period of 2008-2010. It seeks to better understand the necessary basis for the formulation of the instrument, about how it works and its relation to the formal real estate market. It aims to depict the formal real estate market by presenting the production of urban space in Parnamirim in terms of intensity and nature of the real estate, furthermore identifying the licensed properties through the application of the municipality instrument. For the conclusion, it is discussed the criteria for the formation of OODC, its relationship to the dynamics of the formal real estate market and its influencing possibilities in the processes of usage and occupation of land in the context of urban planning

Cuidado formal em saúde bucal: percepção de senescentes

Ações promotoras de saúde e independência para pessoas idosas são indispensáveis. Compreender essa construção no cotidiano da provisão dos cuidados talvez estimule o desenvolvimento de capacitações ao bem estar nesta população. O objetivo deste estudo foi Identificar a repercussão da provisão do cuidado formal em saúde bucal na percepção de senescentes. Desenvolvemos uma pesquisa de base qualitativa com abordagem fenomenológica, onde realizamos entrevistas semiestruturadas e individuais com 30 pessoas de idade superior a 50 anos (22 mulheres e 08 homens), em um Centro de Convivência na cidade de Natal/Rio Grande do Norte, no nordeste do Brasil. Os relatos obtidos foram analisados em cinco estágios: transcrição dos discursos sem preocupação interpretativa; limpeza de erros linguísticos e repetições; leitura repetitiva e exaustiva para apreensão do sentido das informações coletadas; seleção das unidades significativas dos discursos, correspondendo aos trechos relevantes no horizonte do fenômeno em estudo; e compreensão da ideografia elaborada pelos participantes por grupos temáticos simbólicos. Assim, identificamos as essências temáticas de: determinante social e iniquidade em saúde bucal; e provisão de cuidados de saúde bucal e mal-estar físico, mental e social. Concluímos que a prestação de cuidados agregando abordagem humanístico-ética pode levar a vivências dignificantes no processo de envelhecimento, destacadamente quando estimula a promoção da segurança pessoal. O âmago desse trabalho descortina uma vertente multidisciplinar que perpassa a saúde, a educação e a ética

1930, a Paraíba e o inconsciente político da revolução: a narrativa como ato socialmente simbólico

This work is an attempt to show that the ideological conflict that has been developed by the hegemony of the 1930 Revolution historical events in Paraíba, conceptually turned into an insoluble social contradiction. It ocurred due to imaginary or formal resolutions of the literature that ended up by altering the epistemological rules of the relation between fiction and reality. The present work is based on The unconscious politics: a narrative as a socially symbolic act , book in which all the literary or cultural texts can and should be read as symbolic resolutions to insoluble social contradictions. From string to contemporary literature this phenomenon has been registered by the several ways of textual production turning the 1930 Revolution into one of the main elements which guides the political scene of Paraíba. The ideological groups still centered on the political resentment and committed to a political conflict forged the existence of two historical truths: one which suits the liberais , the winners, and another is of the 1930 conflict. This work argues in favour of the unconscious politics of the 1930 Revolution. This thesis considers necessarily the relation that the Paraibana society maintains with its past and how this past reaches in the present the liberation of a hidden and repressed truth through its narrativization. Beyond that, how the ideological partiality generated the political resentment through the way of thinking of the rivals under the perspective of the good and evil reveals its insoluble social contradiction. Process which comprehends varied narrative forms of the mass culture products and literary production, as in the methodological perspective pointed by Fredric Jameson that all literary or cultural texts can and shall be read as symbolic resolutions of true political and social contradictions. In the case of Paraiba we will have resolutions that search for the reasons which caused the death of João Pessoa: forgery and publicity of love letters, dispute over the official version of suicide commited by João Dantas, the man who assassinated João Pessoa