Categories of indigenous 'homelessness' people and good practice responses to their needs

Mainstream concepts of homelessness do not serve Indigenous people well. Those designing policies or programs for Indigenous homeless people may need to re-think or change their concepts of homeless in order to adequately understand and respond to the needs of this group of people.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Scoring occupational categories for social research: A review of current practice, with Australian examples

The scoring of occupational categories has along history. After reviewing the historical background, we develop and discuss the properties of two new Australian scales based on current theorising in stratification research. The first is based on the operation of the labour market and scores occupations to reflect their central role in converting educational credentials into market income. The second is based on patterns of social interaction and scores occupations to reflect the choices that people make in marriage markets. While these two scales are not theoretically or empirically equivalent, they are closely related and provide equally valid, but alternative, ways of measuring the underlying stratification order of modern societies.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Reforma do setor p??blico e participa????o sindical: o caso do sistema de pens??o italiano

O paper estuda o caso da recente reforma da Previd??ncia na It??lia, ilustrando a possibilidade de uma participa????o positiva dos sindicatos ??? tradicionalmente contr??rios ??s reformas ??? no processo de transforma????o do setor p??blico. Ap??s uma revis??o do sistema previdenci??rio italiano, altamente fragmentado e particularista na opini??o dos autores, e o apontamento de suas principais defici??ncias, o estudo concentra-se na an??lise de tr??s propostas de reforma ligadas aos governos de Amato (1992-93), Berlusconi (1994) e Dini (1995), respectivamente. O texto aborda tanto as propostas concretas de mudan??a, trazendo contribui????es sobre uma variedade consider??vel de medidas, seu impacto e aceita????o sociais e por categoria, como os objetivos visados e o processo pol??tico relacionado ?? sua discuss??o e tramita????o. Uma preocupa????o constante dos autores ?? a correla????o entre a postura e a participa????o dos sindicatos em mat??ria de reforma previdenci??ria, por um lado, e o avan??o das propostas governamentais, por outro. Segundo o estudo, a ampla participa????o da for??a sindical na negocia????o do projeto de reforma previdenci??ria do governo Dini representou um fator decisivo para sua aprova????o e implementa????o bem-sucedidas. Ao mesmo tempo, a delibera????o democr??tica para concilia????o de prefer??ncias e interesses (m??ltiplos no caso de assuntos norteados pela dicotomia bem comum/interesse particular) ??? objeto da ??ltima sess??o do estudo ??? ?? vista como uma forma de ampliar a participa????o sindical al??m das lideran??as, passando a incluir os rank-and-file trabalhadores, um procedimento que traz, igualmente, a for??a de uma decis??o majorit??ria. A an??lise da reforma da Previd??ncia italiana ?? ilustrada no paper com tabelas que trazem e comparam dados referentes ?? contribui????o previdenci??ria, ??s categorias de beneficiados e ??s diferentes propostas de reforma formuladas por sucessivos governos italianos.

Política de segurança pública no Brasil contemporâneo : entre a segurança cidadã e a continuidade autoritária

O objeto de estudo dessa pesquisa é a política de segurança pública brasileira visando compreender o seu percurso ideológico e político no contexto de retomada e da consolidação da democracia no Brasil, após 21 anos de ditadura militar. Considerando o contexto no qual se verifica a existência de disputa política em torno da concepção de segurança pública, o objetivo geral deste trabalho é compreender a matriz estruturante da política de segurança pública no Brasil contemporâneo. Seu intuito visa responder à pergunta inicial e condutora do interesse que estrutura este trabalho, aqui apresentada nos seguintes termos: a política de segurança pública no Brasil após o restabelecimento das eleições diretas para a Presidência da República está em vias de transição, tendendo a assumir caráter democrático ou a força da tradição autoritária na cultura política brasileira tem-se garantido a sua continuidade neste campo da intervenção estatal? Ancoramos a nossa reflexão nas categorias teóricas de dominação, coerção e consenso no pensamento clássico de Hobbes, Marx, Weber e Gramsci, extraindo deles os elementos que nos auxiliam no entendimento da política de segurança pública brasileira. Para o estudo dessa política foi fundamental operarmos uma profunda revisão bibliográfica, especialmente para entender como a manutenção da ordem foi se desenhando no contexto brasileiro e como historicamente tem prevalecido um modelo de segurança pública marcado pelo autoritarismo. Entretanto, a partir da redemocratização brasileira há a emergência de outro paradigma para a política de segurança pública, a segurança cidadã, propondo, entre outras coisas, a reforma das instituições de segurança pública e a formação em direitos humanos nas instituições policiais. Para a análise do paradigma emergente de segurança, buscamos apoio no Programa Nacional dos Direitos Humanos e no Plano Nacional de Segurança Pública, documentos federais que representam a construção de uma nova intencionalidade para a segurança pública no Brasil. Finalmente, reconhecemos que, embora haja significativas reformas na segurança pública, tal política, diante da prevalência de um paradigma de segurança tradicional com fortes componentes autoritários, se encontra entre a segurança cidadã e a continuidade autoritária.

Qualified intervention/qualifying formation

An education promoting scientific literacy (SL) that prepares the citizens to a responsible citizenship has persisted as an argument across discussions on curricula design. The ubiquity of science and technology on contemporary societies and the ideological requirement of informed democratic participation led to the identification of relevant categories that drive curriculum reforms towards a humanistic approach of school science. The category ‘Science as culture’ acquires in the current work a major importance: it enlightens the meaning of scientific literacy. Looking closely to the French term, culture scientifique et tecnologique, turns science simultaneously into a cultural object and product that can be both received and worked at different levels and within several approaches by the individuals and the communities. On the other hand, nonformal and informal education spaces gain greater importance. Together with the formal school environment these spaces allow for an enrichment and diversification of learning experiences. Examples of nonformal spaces where animators can develop their work may be science museums or botanical gardens; television and internet can be regarded as informal education spaces. Due to the above mentioned impossibility of setting apart the individual or community-based experiences from Science and Technology (S&T), the work in nonformal and informal spaces sets an additional challenge to the preparation of socio-cultural animators. Socio-scientific issues take, at times, heavily relevance within the communities. Pollution, high tension lines, spreading of diseases, food contamination or natural resources conservation are among the socio-scientific issues that often call upon arguments and emotions. In the context of qualifying programmes on socio-cultural animation (social education and community development) within European Higher Education Area (EHEA) the present study describes the Portuguese framework. The comparison of programmes within Portugal aims to contribute to the discussion on the curriculum design for a socio-cultural animator degree (1st cycle of Bologna process). In particular, this study intends to assess how the formation given complies with enabling animators to work, within multiple scenarios, with communities in situations of socio-scientific relevance. A set of themes, issues and both current and potential fields of action, not described or insufficiently described in literature, is identified and analysed in the perspective of a qualified intervention of animators. One of these examples is thoroughly discussed. Finally, suggestions are made about curriculum reforms in order, if possible, to strongly link the desired qualified intervention with a qualifying formation.

Indisciplina na sala de aula: a perspetiva de professores do 3º Ciclo do Ensino Básico e do Ensino Secundário

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação