Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to 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 CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

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

Exploring the interdisciplinary process in design education

The work presented herein follows an ongoing research that aims to analyze methodological practices to be applied in Design Education. A reflection about methodological strategies in Design Education and the function of drawing in Design represents the beginning of this study. Then, we developed an interdisciplinary pedagogical experience with the Graphic Design 1st grade students from our institution (IPCA). In the current academic year, 2013/2014, we continue to evolve this project, introducing changes in the initial proposal. Major alterations focused on the aspects that could be strengthened in terms of interdisciplinarity. In this article, the authors describe those changes and discuss the outcomes of the novel proposal. As we have already reported, this investigation follows a reflection about working methods to be adopted in Design Education. This is in accordance with other previously published works that purpose the enlargement of Design into new knowledge fields such as Experience or Service Design, changing not only the role of the graphic designer, but also the skills required to be a professional designer (Alain Findelli, 2001), (Brian Lawson, 2006), (Ciampa-Brewer, 2010). Furthermore, concepts such as cooperation or multidisciplinary design, amongst others, have been frequently debated as design teaching strategies (Heller and Talarico, 2011, pp. 82-85). These educational approaches also have an impact on our research. The analysis of all these authors’ contributions together with a reflection on our teaching practice allowed us to propose an improved interdisciplinary intervention.

The strategic management of creation process and of change: a theoretical contribute from the perspective of tourism

The entrepreneurship and innovation have been gradually gaining ground in the academic community as a field of study. However, the interpretations surrounding fragmented, without a univocal definition. In last decades, tourism has received greater attention from researchers in various sciences, varying only by the different emphases considered: economic, social, cultural and environmental. As other emerging sectors in a modern economy, tourism is a dynamic and ever-changing industry. The study has as purpose to provide a better understanding regarding the essence of entrepreneurship: theoretical and practical implications from the perspective of tourism. Regarding the methodology used here, this is a conceptual paper with a literature review that brings together the major components of entrepreneurship and its implications tourist perspective and conceptual model of the dynamic nature of the Triggering Process and innovation (e.g. iTravey, Interactive Stores, Tourist Transportable Tower).

The international harmonization process of public accounting in Portugal: the perspective of different stakeholders

This paper investigates the reform of public accounting in Portugal through the IPSAS adoption highlighting the perception of different stakeholders. Two competing theories (NPM and the institutional theory) are used to understand public accounting changes within the Portuguese context. In general, different stakeholders agree with the favorable moment and the context of the reform. The context of financial crises and the great external pressures to cut public deficits and to improve the quality of financial information seem to be the most important factors to stimulate changes in public accounting. In addition, stakeholders recommend the use of different strategies to ensure success.

The internationally standardized process of public accounting: the perspective of different stakeholders in Portugal

New Public Management (NPM) led to great pressures for to introduce and adapt businesslike accounting in the public sector (Hood, 1995; Lapsley, 2008; Lapsley et al., 2009), specially the transition from cash basis to accrual-based accounting. In consequence, since the last 20 years we assist to a movement towards internationally standardized of public sector accounting that led to the publication of 32 International Public Sector Accounting Standards (IPSAS) for all public sector entities from national central governments to local governments (IFAC, 2008). These standards are accrual-basis and they emphasize the balance sheet approach, the fair value measurement and the revenue-expense approach (Hints, 2007). The main innovations are associated with the use of the balance sheet approach and the fair value measurement because, traditionally, public accounting systems are mainly focused on the revenue-expense approach and on historical cost valuation (Oulasvirta, 2014).