Ensuring the right to the city: pro-poor housing, urban development and tenure legalization in São Paulo, Brazil

São Paulo is one of Latin America’s most modern and developed cities, yet around one-third of its 10 million inhabitants live in poor-quality housing in sub-standard settlements. This paper describes the response of the São Paulo municipal government that took office in 2001. Through its Secretariat of Housing and Urban Development, it designed a new policy framework with a strong emphasis on improving the quantity and quality of housing for low-income groups. Supported by new legislation, financial instruments and partnerships with the private sector, the mainstays of the new policy are integrated housing and urban development, modernization of the administrative system, and public participation in all decision-making and implementation processes. The programmes centre on upgrading and legalizing land tenure in informal settlements, and regeneration of the city centre. The new focus on valuing the investments that low-income groups have already made in their housing and settlements has proved to be more cost-effective than previous interventions, leading to improvements on an impressive scale.

Building networks to work: an ethnographic study of informal routes into the UK construction industry and pathways for migrant up-skilling

The UK construction industry labour market is characterised by high levels of self-employment, sub-contracting, informality and flexibility. A corollary of this, and a sign of the increasing globalisation of construction, has been an increasing reliance on migrant labour, particularly that from the Eastern European Accession states. Yet, little is known about how their experiences within and outside of work shape their work in the construction sector. In this context better qualitative understandings of the social and communication networks through which migrant workers gain employment, create routes through the sector and develop their role/career are needed. We draw on two examples from a short-term ethnographic study of migrant construction worker employment experiences and practices in the town of Crewe in Cheshire, UK, to demonstrate how informal networks intersect with formal elements of the sector to facilitate both recruitment and up-skilling. Such research knowledge, we argue, offers new evidence of the importance of attending to migrant worker’s own experiences in the development of more transparent recruitment processes.

Fan Culture as an Informal Learning Environment : Presentation of a NGL project

Fan culture is a subculture that has developed explosively on the internet over the last decades. Fans are creating their own films, translations, fiction, fan art, blogs, role play and also various forms that are all based on familiar popular culture creations like TV-series, bestsellers, anime, manga stories and games. In our project, we analyze two of these subculture genres, fan fiction and scanlation. Amateurs, and sometimes professional writers, create new stories by adapting and developing existing storylines and characters from the original. In this way, a "network" of texts occurs, and writers step into an intertextual dialogue with established writers such as JK Rowling (Harry Potter) and Stephanie Meyer (Twilight). Literary reception and creation then merge into a rich reciprocal creative activity which includes comments and feedback from the participators in the community. The critical attitude of the fans regarding quality and the frustration at waiting for the official translation of manga books led to the development of scanlation, which is an amateur translation of manga distributed on the internet.  Today, young internet users get involved in conceptual discussions of intertextuality and narrative structures through fan activity. In the case of scanlation, the scanlators practice the skills and techniques of translating in an informal environment. This phenomenon of participatory culture has been observed by scholars and it is concluded that they contribute to the development of a student’s literacy and foreign language skills. Furthermore, there is no doubt that the fandom related to Japanese cultural products such as manga, anime and videogames is one of the strong motives for foreign students to start learning Japanese. This is something to take into pedagogical consideration when we develop web-based courses. Fan fiction and fan culture make it ​​possible to have an intensive transcultural dialogue between participators throughout the world and is of great interest when studying the interaction between formal and informal learning that puts the student in focus

Informal wages in an economy with active labor courts

In most developing countries, job regulations and the justice branch interfere on several aspects of labor contracts. Inspired by this fact, we build a model that explores the role of labor courts in the determination of the di¤erence between formal and informal wages. We show that the presence of active labor courts in an environment where labor relations are subject to asymmetries of information reproduces features documented by the empirical literature. The main implications of our model are tested using Brazilian data.

Do Brazilian courts contribute to the implementation of the right to housing?

The objective of this paper is to try to understand the Brazilian’s Courts role in the implementation of the Right to Housing. In order to do that, I analyzed three lawsuits (Favela Olga Benario, Favela Fiat/Vila Esperança and Pinheirinho I) in which the Right to Housing collide with the Right to Private Property. I claim that in spite of the adoption of the Social Function of the Ownership Principle and the formal inclusion of the Right to Housing among social rights protected by the Constitution, Brazilians Courts adopt a very conservative conception of the Right to Private Property and because of that, they tend not to enforce the Right to Housing.

Labor legislation and the size of informal sector in Brazil

This paper studies the increase in the rate of informal workers in the Brazilian economy that occurred between 1985 and 1999. We develop an overlapping generations model with incomplete markets in which agents are ex-post heterogeneous. We calibrate it to match some features of the Brazilian economy for 1985. We conduct a policy experiment which reproduces the 1988 constitution reforms that increased the retirement benefits and labor costs in the formal sector. We show that these reforms can explain the increase in informal labor. Then, we conduct a policy experiment and analyze its impact on the Brazilian economy.

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.

Avaliação da sobrecarga do cuidador informal no desempenho de suas funções à pessoa idosa dependente, no Concelho de Santana

O processo de cuidar do idoso dependente é multidimensional e executado por cuidadores formais e informais. Sempre foi uma função designada à família onde havia divisão de tarefas entre os diversos membros,. O objetivo do estudo foi avaliar a sobrecarga dos cuidadores informais no desempenho de suas funções à pessoa idosa dependente, no concelho de Santana; estimando o nível de dependência dos idosos e determinando a satisfação, as dificuldades, o coping e a sobrecarga dos cuidadores. A população acessível foi constituída por 69 cuidadores informais. O estudo foi, transversal, descritivo - correlacional. O formulário inclui questões de caracterização sociodemográfica e escalas: de satisfação, de dificuldades em cuidar, e de estratégias de coping (Nolan et cols,1998), de percepção da sobrecarga do cuidador (adaptação de Zarit et cols,1983) validadas para Portugal (Sequeira 2007). Utilizou-se a Escala de Barthel (Mahoney; Barthel,1965) para determinar a dependência dos idosos. Dos resultados realçamos: a maioria dos cuidadores é mulher, casada, com escolaridade até o 6º ano, baixo nível sócio económico sendo familiar do idoso cuidado. Dos cuidadores, 38% são-no entre um a quatro anos e 72,5% cuidam 12 horas/dia A etapa do ciclo vital familiar dos cuidadores é o fim da vida (76,8% ). Dos idosos cuidados, 68% era muito dependente. Dificuldades no cuidar incluíram: restrições sociais, exigências e reações ao cuidar e estratégias de coping mais limitadas. Os cuidadores tendiam sentir-se satisfeitos com o cuidado. Não sofrem sobrecarga 36,3 % mas, 63,7% refere-a ligeira e intensa. Nos homens realçou-se a intensa e nas mulheres a ausência de sobrecarga. Ela foi mais significativa entre os analfabetos, os que sentiam dificuldades, os mais carenciados economicamente e que não gozavam de férias. Evidencia-se a importância da intervenção junto aos cuidadores informais por parte da rede formal de apoio para prevenção da sobrecarga.

Educação informal e movimentos populares: a importância do ensino da música no resgate da cidadania de crianças assistidas pela ONG Orquestra Cidadã como uma forma de inovação pedagógica

A presente pesquisa faz parte de nosso estudo realizado junto a Orquestra Cidadã Meninos do Coque e tem por objetivo principal refletir acerca de como o ensino da música com vistas ao resgate da cidadania de crianças e adolescentes assistidos pelo projeto da referida orquestra pode ser visto sob a égide da inovação pedagógica. Para isso, num primeiro momento, em seu arcabouço teórico, que compreendido pelos capítulos segundo e terceiro, inicialmente traçamos nossas considerações sobre a prática pedagógica e a educação não formal, visando à questão da inovação e da formação para cidadania; e, logo em seguida adentramos na questão do ensino de música e a construção da cidadania, tendo-se por foco o trabalho realizado pela Orquestra Cidadã Meninos do Coque. Já num segundo momento, tratamos das questões metodológicas (capítulo quarto), cuja base foi a etnopesquisa orientado por Macedo (2006), a qual teve como instrumentos a observação participante, o uso de entrevistas e de questionários semiestruturados, além da análise documental, cujos resultados são apresentados no capítulo quinto, o qual traz como título “Educação informal e movimentos populares: a importância do ensino da música no resgate da cidadania de crianças assistidas pela ONG Orquestra Cidadã como uma forma de inovação pedagógica” diante do qual pudemos perceber o caráter inovador do trabalho empreendido pela orquestra em estudo, que na busca de atingir os objetivos pretendidos expande sua metodologia para a realidade de seus alunos e com isso alcança saltos de desenvolvimento, trazendo para as crianças e jovens um novo olhar sobre si mesmos e sobre o seu futuro.

Indústria informal de confecções e mercado de trabalho :um estudo sobre a grande Natal (1977-2003)

The process of globalization which has characterized today s Brazilian economic development is determining in the restructuring of productive capital, influencing the development of an economic model, founded on greater competition and use of technology. As a consequence of that, there has been a certain disorganization of the economy, the growth of social inequalities and the lack of structuring of the labor market and the social security system. This has favored a rapid growth of the urban informal economy in Brazil. In Rio Grande do Norte state, the Greater Natal area is the main production center. This is where this study found 58 informal textile industries. In the research, the organizational structure of these industries, characterized by intensive use of labor vis-à-vis the use of capital, problems with putting production in the market place, although links with the formal sector were evident, is analysed. The research also focuses on the relationship labor x capital, the nature and volume of the industrial activity in the 58 industries, their proprietors and 120 employees

América Latina: avances y desafíos de la implementación del Programa de Acción de El Cairo, con énfasis en el período 2004-2009

Incluye Bibliografía

O processo de socialização musical primária: aprendizagem e conhecimentos musicais do cotidiano e a educação musical formal - uma abordagem sócio-histórica

Pós-graduação em Música - IA

The use of census data for national development planning Focus on the 2010 population and housing census

Includes bibliography.