Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Finite element analysis of pectus carinatum surgical correction via a minimally invasive approach

Pectus carinatum (PC) is a chest deformity caused by a disproportionate growth of the costal cartilages compared to the bony thoracic skeleton, pulling the sternum towards, which leads to its protrusion. There has been a growing interest on using the ‘reversed Nuss’ technique as minimally invasive procedure for PC surgical correction. A corrective bar is introduced between the skin and the thoracic cage and positioned on top of the sternum highest protrusion area for continuous pressure. Then, it is fixed to the ribs and kept implanted for about 2–3 years. The purpose of this work was to (a) assess the stresses distribution on the thoracic cage that arise from the procedure, and (b) investigate the impact of different positioning of the corrective bar along the sternum. The higher stresses were generated on the 4th, 5th and 6th ribs backend, supporting the hypothesis of pectus deformities correction-induced scoliosis. The different bar positioning originated different stresses on the ribs’ backend. The bar position that led to lower stresses generated on the ribs backend was the one that also led to the smallest sternum displacement. However, this may be preferred, as the risk of induced scoliosis is lowered.

Performance measurement and management in Portuguese law enforcement

Performance measurement of police services is complicated by ambiguous and complex goal- and objectives-setting, and by the difficulties of measuring outputs. This article looks at the organizational and management changes being made in Portuguese police forces. The authors fill a gap in the literature on performance measurement in Portugal by taking a national approach to the study of how law enforcement agencies are introducing new management accounting changes. The article therefore widens the debate on performance measurement and performance improvements in law enforcement.

An approach for graphical user interface bad smells detection

In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next.

Perceptions of residents of hosting the “Guimarães 2012 European Capital of Culture”: An ex-ante approach

The European Capital of Culture is an annual mega-event, which can provide a good forum though which to challenge and engage local citizens, thus generating feelings of common citizenship. In addition, it presents an ideal opportunity to promote the restructuring of the hosting urban space. However, the success of both the organization and the city that hosts the cultural event depends on the residents’ commitment towards it, the consistency of the tourism attractions and activities supplied, and the capacity of anticipating and monitoring the evolution of tourists’ preferences. The present study aims to assess the intention to participate and the impacts perceived by residents of Guimarães from hosting one of the 2012 European Capitals of Culture (2012 ECOC) in the ex-ante period (2011). Through a convenience sample of 471 usable surveys applied to the local population, conducted between October and December 2011, we tried to identify some of these potential impacts. According to the results received, 40% of residents had a low or very low knowledge of the cultural program, although only 11% demonstrated no intention of attending any activity during the event. The comparison of the mean scores of the expected 2012 ECOC impacts by gender reveals that the most valued and least valued factors are common to female and male respondents. With regard to the differences between those that intended to attend the event and the ones that did not, expected participants rated positive and negative impact factors more than did the ones that did not intend to attend.

An approach on place attachment, involvement and behavioural intentions in cross-border tourist regions

This study aims at gaining a deeper understanding of customer profiling and behaviour in cross-border tourism destinations. The study is developed under a niche marketing perspective. It is our view that niche marketing is not confined to the limits of national markets. Previous studies suggest that cross-border regions are an attractive notion, yet they require further theoretical and empirical research. There is still a gap in the understanding of destination management in cross-border regions and the customer profile and motivations. Overall this research attempts to produce a deeper understanding of the profile and behaviour of consumers in tourism settings, addressing the predisposition for the destination in specific contexts (cross-border tourism regions).

Perceptions of residents of hosting the “Guimarães 2012 European Capital of Culture”: an ex-ante approach

The European Capital of Culture is an annual mega-event, which can provide a good forum though which to challenge and engage local citizens, thus generating feelings of common citizenship. In addition, it presents an ideal opportunity to promote the restructuring of the hosting urban space. However, the success of both the organization and the city that hosts the cultural event depends on the residents’ commitment towards it, the consistency of the tourism attractions and activities supplied, and the capacity of anticipating and monitoring the evolution of tourists’ preferences. The present study aims to assess the intention to participate and the impacts perceived by residents of Guimarães from hosting one of the 2012 European Capitals of Culture (2012 ECOC) in the ex-ante period (2011). Through a convenience sample of 471 usable surveys applied to the local population, conducted between October and December 2011, we tried to identify some of these potential impacts. According to the results received, 40% of residents had a low or very low knowledge of the cultural program, although only 11% demonstrated no intention of attending any activity during the event. The comparison of the mean scores of the expected 2012 ECOC impacts by gender reveals that the most valued and least valued factors are common to female and male respondents. With regard to the differences between those that intended to attend the event and the ones that did not, expected participants rated positive and negative impact factors more than did the ones that did not intend to attend.

Use of performance information by local politicians: a field study in the Portuguese context.

This paper seeks to investigate the use of performance information by politicians and whether the institutional reforms on performance management (PM) have been operationalized by local politicians. Differences on the policy field and the organizational context have been analyzed. Our goal is contribute to knowledge on PM in the political sphere and understand the different responses of politicians to government change initiatives (mainly coercive pressures). Our findings show that local politicians support the notion that greater attention should be devoted to the use of performance information on the evaluation process. Nevertheless they are very skeptic in relation to effective execution of government reforms. There is an internal culture where agencies are embedded, strongly influenced by the high degree of politicisation among senior managers, that lead politicians to be more concerned about personal opinions and informal performance information rather than to use more sophisticated information (output and outcome measures). The institutional approach helps us to identify political responses to institutional pressures and understand the reasons for a reduced use in the Portuguese context.

The rights approach to local public management: experiences from Brazil

The Fundação Getulio Vargas, São Paulo, Public Management and Citizenship Program was set up in 1996 with Ford Foundation support to identify and disseminate Brazilian subnational government initiatives in service provision that have a direct effect on citizenship. Already, the program has 2,500 different experiences in its data bank, the results of four annual cycles. The article draws some initial conclusions about the possibilities of a rights-based approach to public management and about the engagement of other agencies and civil society organizations.

Budgeting and resource allocation in universities: a public choice approach

The calls for colleges and universities to improve their productivity are coming thick and fast in Brazil. Many studies are suggesting evaluation systems and external criteria to control the quality of teaching and research in universities. Since universities and colleges are not profit-oriented organizations (considering only the legitimate and serious research and teaching organizations, of course), the traditional microeconomics and administrative variables used to measure efficiency do not have any direct function. An alternative would be to create an "as if" market control system to evaluate performance in universities and colleges. Internal budget and resources allocation mechanism can be used as incentive instruments to improve quality and productivity. It will be the main issue of this article.