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

Automation & control remote laboratory: evaluating a cooperative methodology

This paper presents a study carried out in order to evaluate the students' perception in the development and use of remote Control and Automation education kits developed by two Universities. Three projects, based on real world environments, were implemented, being local and remotely operated. Students implemented the kits using the theoretical and practical knowledge, being the teachers a catalyst in the learning process. When kits were operational, end-user students got acquainted to the kits in the course curricula units. It is the author's believe that successful results were achieved not only in the learning progress on the Automation and Control fields (hard skills) but also on the development of the students soft skills, leading to encouraging and rewarding goals, motivating their future decisions and promoting synergies in their work. The design of learning experimental kits by students, under teacher supervision, for future use in course curricula by enduser students is an advantageous and rewarding experience.

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).