Direito à moradia em cidades sustentáveis: parâmetros de políticas públicas habitacionais Natal 2013

The right to housing is included in several international human rights instruments and in Brazilian legal system integrates the constitutional catalog of fundamental social rights (art. 6) and urban development policy (art. 182 and 183). Besides, it is for all federative governments its effectiveness by building programs and improvement of housing conditions and sanitation (art. 23, IX), which justifies the investment in urban planning and public policy of housing affordability because they are tools for achieving this right. Newer strategies in this area have been based on tax incentives, combined with the mortgage as a way to induce the construction of new housing units or reform those in a precarious situation. However, there is still a deficit households and environmental soundness, compounded with the formation of informal settlements. Consequently, we need constant reflections on the issue, in order to identify parameters that actually guide their housing policies in order to meet the constitutional social functions of the city and ensure well-begins of its citizens (art. 182). On the other hand, the intervention of the government in this segment can not only see the availability of the home itself, but also the quality of your extension or surroundings, observing aspects related to environmental sanitation, urban mobility, leisure and services essential health, education and social assistance. It appears that the smoothness and efficiency of a housing policy condition to the concept of adequate housing, in other words, structurally safe, comfortable and environmentally legally legitimate, viable from the extensive coordination with other public policies. Only to compliance with this guideline, it is possible to realize the right to housing in sustainable cities

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification