2 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Repositório Científico da Universidade de Évora - Portugal
Resumo:
Cork, as a natural product provided by the bark of the cork oak tree, is an important staple of the Portuguese economy and important to Portuguese culture. It is a sustainable product with a positive ecological footprint, from harvesting to industrial production, with the advantage of creating a local economic model through regional labour activity and distribution. Within the balance between nature-human-economy to create a sustainable system, cork production in Portugal represents a human and social dimension. By focusing on that dimension and by creating an awareness of the cultural and social impact of the activity and by re-appraising the meaning of the material within the culture, the study reframes a consideration of the actual place of labour and production. The human, geophysical, historical, social, economic, ecological and cultural aspects of the place are observed as regards their relation to work or labour in that physical space. A pilot study is being developed in the village of Azaruja in the district of Évora, Portugal. In this small locality, cork is very important in terms of the relationships between the physical subsistence of their residents and the local natural resources, because it structures the place in its cultural, social and economical dimensions. This paper outlines the theoretical foundations, the process and the outcomes of the participatory ecodesign project titled Creative Practices Around the Production of Cork which was initiated by a Portuguese artist/design researcher and developed further through the collaboration with the other two authors, one a Portuguese visual artist/researcher and the other a Turkish fashion designer/theorist. The investigation focuses on questions that expand the notion of place for artists and designers, filtered through the lenses of manual labourers in order to understand their physical, social, cultural and economic relationship with the environment. To create the process of interaction with the place and the people, a creative collaborative dynamic is developed between the authors with their range of artistic sensibilities and the local population. To adopt a holistic notion of sustainability and cultural identity a process of investigation is designated to: (1) analyse, test and interpret - through the dissemination of life stories, visual representation of the place and the creation of cork objects - the importance of culture related to the labour activity of a local natural resource that determines and structures the region; (2) to give public recognition to those involved, taking into account their sense of belonging to the place and in order to show the value of their sustainable labour activities related to local natural resources; (3) to contribute to the knowledge of the place and to its dynamism through an aesthetic approach to labour activities. With reference to fields of knowledge such as anthropology, the social arts and sustainable design, a practice-based research is conducted with collaborative and participatory design methods to create an open model of interaction which involves local people in the realization of the project. Outcomes of this research will be presented in the paper as a survey analysis with theoretical conclusions.
Resumo:
Este estudo procurou, por um lado, caracterizar as bibliotecas das Universidades públicas portuguesas em termos de recolha de dados estatísticos, seu tratamento e posterior utilização na gestão e tomada de decisão nessas bibliotecas. Por outro lado, procurou auscultar a satisfação do staff e a satisfação dos utilizadores dessas mesmas bibliotecas. Além desta competente mais descritiva, este estudo incluiu também uma componente explicativa baseada num modelo teórico que sugere, primeiramente, a existência de uma relação entre a utilização de informação estatística (IE) na gestão e tomada de decisão e a satisfação do staff e a satisfação dos utilizadores. E, seguidamente, a presença de uma relação de interdependência entre o grau de satisfação do staff e o grau de satisfação dos utilizadores, tal como é sugerido pela teoria da cadeia de lucro na prestação de serviços (Heskett et al., 1994). Foi possível apurar a existência de uma cultura de recolha de dados estatísticos, tratamento e utilização dessa informação para a gestão e tomada de decisão entre as bibliotecas participantes. O estudo também revela que a recolha e utilização de IE tem um impacto positivo na satisfação dos utilizadores, mas afecta negativamente a satisfação do staff com o ambiente de trabalho. / ABSTRACT; This study characterizes the Portuguesa Higher Education Libraries with respect to the collection of data, its statistical analysis and subsequent use in the management and decision making of these Libraries. ln addition, the study also tried to obtain information on the level of satisfaction of staff and users in the same Libraries. Besides this descriptive component, this study includes an explicative component based on a theoretical model. This model first suggests the existence of a positive relationship between the use of statistical information in management and decision making in a Library and the level of satisfaction of users and staff. A second prediction of the model is the existence of an interdependence relationship between the level of satisfaction of the staff and the level of satisfaction of the users, as it is suggesting by the service-profit-chain theory (Heskett et al., 1994). The results reveal the existence of a culture of data collection, statistical analysis of the data and subsequent use in management and decision making among the participant libraries. The study also shows that the collection and use of statistical information has a positive impact on the level of satisfaction of the users but a negative impact on the level of satisfaction of staff regarding the job environment.