917 resultados para asset-based community development
Resumo:
This paper considers the claim that ideas and practices of international development, including community development, are embedded in Western notions of how to organize society. It elucidates some of the main precepts of the westernization thesis, and drawing on several studies of community development projects in Indonesia, it investigates what elements might be considered as ‘Western’ and whether the adoption of so-called Western ways is the result of the dominating power of international agencies or a pragmatic choice of active agents. The paper argues that the westernization thesis is problematic and does little to help us understand the complex interactions involving change at the community level. From a community development perspective, the question of whether the themes of westernization are appropriate is not a matter of the views of outside experts, but whether they are of use to the people at the grassroots in their collective endeavours.
Resumo:
1.Quantitative tools to describe biological communities are important for conservation and ecological management. The analysis of trophic structure can be used to quantitatively describe communities. Stable isotope analysis is useful to describe trophic organization, but statistical models that allow the identification of general patterns and comparisons between systems/sampling periods have only recently been developed. 2.Here, stable isotope-based Bayesian community-wide metrics are used to investigate patterns in trophic structure in five estuaries that differ in size, sediment yield and catchment vegetation cover (C3/C4): the Zambezi in Mozambique, the Tana in Kenya and the Rianila, the Betsiboka and Pangalanes Canal (sampled at Ambila) in Madagascar. 3.Primary producers, invertebrates and fish of different trophic ecologies were sampled at each estuary before and after the 2010–2011 wet season. Trophic length, estimated based on δ15N, varied between 3·6 (Ambila) and 4·7 levels (Zambezi) and did not vary seasonally for any estuary. Trophic structure differed the most at Ambila, where trophic diversity and trophic redundancy were lower than at the other estuaries. Among the four open estuaries, the Betsiboka and Tana (C4-dominated) had lower trophic diversity than the Zambezi and Rianila (C3-dominated), probably due to the high loads of suspended sediment, which limited the availability of aquatic sources. 4.There was seasonality in trophic structure at Ambila and Betsiboka, as trophic diversity increased and trophic redundancy decreased from the prewet to the postwet season. For Ambila, this probably resulted from the higher variability and availability of sources after the wet season, which allowed diets to diversify. For the Betsiboka, where aquatic productivity is low, this was likely due to a greater input of terrestrial material during the wet season. 5.The comparative analysis of community-wide metrics was useful to detect patterns in trophic structure and identify differences/similarities in trophic organization related to environmental conditions. However, more widespread application of these approaches across different faunal communities in contrasting ecosystems is required to allow identification of robust large-scale patterns in trophic structure. The approach used here may also find application in comparing food web organization before and after impacts or monitoring ecological recovery after rehabilitation.
Resumo:
Bancos comunitários de desenvolvimento no Brasil são instituições únicas que operam de acordo com os princípios da economia solidária em função da inclusão financeira de comunidades carentes. O Instituto Palmas, a instituição que assessora e coordena a rede destes bancos, pediu à Universidade de São Paulo e à Universidade de Columbia em Nova York para desenvolver um conjunto de indicadores que pudesse demonstrar o impacto social e o desempenho institucional dos bancos. Esse relatório apresenta os indicadores, a metodologia utilizada na sua formação, e recomendações para sua utilização. Na medida em que resultados e impacto estão analisados através do uso desses indicadores, a rede dos bancos comunitários e outros interessados terão mais clareza sobre suas funções, seu desempenho, e suas áreas que precisam ser melhoradas para cumprir sua missão – superar a pobreza urbana através da economia solidária.
Resumo:
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/.
Resumo:
Incluye Bibliografía
Resumo:
Incluye Bibliografía
Resumo:
Includes bibliography
Resumo:
Incluye Bibliografía
