Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. 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 Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Electrospun silk-elastin-like fiber mats for tissue engineering applications

Protein-based polymers are present in a wide variety of organisms fulfilling structural and mechanical roles. Advances in protein engineering and recombinant DNA technology allow the design and production of recombinant protein-based polymers (rPBPs) with an absolute control of its composition. Although the application of recombinant proteins as biomaterials is still an emerging technology, the possibilities are limitless and far superior to natural or synthetic materials, as the complexity of the structural design can be fully customized. In this work, we report the electrospinning of two new genetically engineered silk-elastin-like proteins (SELPs) consisting of alternate silk- and elastin-like blocks. Electrospinning was performed with formic acid and aqueous solutions at different concentrations without addition of further agents. The size and morphology of the electrospun structures was characterized by scanning electron microscopy showing to be dependent of concentration and solvent used. Treatment with air saturated with methanol was employed to stabilize the structure and promote water insolubility through a time-dependent conversion of random coils into β-sheets (FTIR). The resultant methanol-treated electrospun mats were characterized for swelling degree (570-720%), water vapour transmission rate (1083 g/m2/day) and mechanical properties (modulus of elasticity of ~126 MPa). Furthermore, the methanol-treated SELP fiber mats showed no cytotoxicity and were able to support adhesion and proliferation of normal human skin fibroblasts. Adhesion was characterized by a filopodia-mediated mechanism. These results demonstrate that SELP fiber mats can provide promising solutions for the development of novel biomaterials suitable for tissue engineering applications.

Estimating Local Part Thickness in Midplane Meshes for Finite Element Analysis

Within the development of motor vehicles, crash safety (e.g. occupant protection, pedestrian protection, low speed damageability), is one of the most important attributes. In order to be able to fulfill the increased requirements in the framework of shorter cycle times and rising pressure to reduce costs, car manufacturers keep intensifying the use of virtual development tools such as those in the domain of Computer Aided Engineering (CAE). For crash simulations, the explicit finite element method (FEM) is applied. The accuracy of the simulation process is highly dependent on the accuracy of the simulation model, including the midplane mesh. One of the roughest approximations typically made is the actual part thickness which, in reality, can vary locally. However, almost always a constant thickness value is defined throughout the entire part due to complexity reasons. On the other hand, for precise fracture analysis within FEM, the correct thickness consideration is one key enabler. Thus, availability of per element thickness information, which does not exist explicitly in the FEM model, can significantly contribute to an improved crash simulation quality, especially regarding fracture prediction. Even though the thickness is not explicitly available from the FEM model, it can be inferred from the original CAD geometric model through geometric calculations. This paper proposes and compares two thickness estimation algorithms based on ray tracing and nearest neighbour 3D range searches. A systematic quantitative analysis of the accuracy of both algorithms is presented, as well as a thorough identification of particular geometric arrangements under which their accuracy can be compared. These results enable the identification of each technique’s weaknesses and hint towards a new, integrated, approach to the problem that linearly combines the estimates produced by each algorithm.

Effect of poling state and morphology of piezoelectric poly(vinylidene fluoride) membranes for skeletal muscle tissue engineering

This work reports on the influence of polarization and morphology of electroactive poly(vinylidene fluoride), PVDF, on the biological response of myoblast cells. Non-poled, ‘‘poled +’’ and “poled-“ -PVDF were prepared in the form of films. Further, random and aligned electrospun -PVDF fiber mats were also prepared. It is demonstrated that negatively charged surfaces improve cell adhesion and proliferation and that the directional growth of the myoblast cells can be achieved by the cell culture on oriented fibers. Therefore, the potential application of electroative materials for muscle regeneration is demonstrated.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

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

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

Capital Intelectual: sua divulgação no setor bancário em Portugal

The importance of intangible resources has increased dramatically in recent years comparing to tangible ones. The economy in which we live is the result of competitive pressures that have imposed the implementation of business at an international level as well as a requirement in the application of sophisticated technologies that allow us to follow this fast evolution. In this age of information and innovation organizations will only survive if they are inserted in a global network of strategic relations, generically called as the network economy by Lev (2003). The service sector has stood out against the more traditional sectors of the economy. The intensive use of knowledge and a strong customer orientation created a new reality in today’s organizations: a growing importance attached to innovation, to the quality of products and services offered, to the information and communication technologies adopted, and to the creativity and particular abilities of human resources. The concept of intangible assets is more common in an accounting language and intellectual capital is most often applied in the context of management, being associated with a more comprehensive, multidimensional approach, representing all the knowledge that the institution owns and that it applies in the form of expertise, the creativity and organizational competencies that lead to innovation and to the sustained attainment of future economic benefits. An analysis of the scope of intellectual capital is fundamental to take more appropriate management decisions so that a more appropriate accounting treatment could be given by the accounting standardization organizations. This study intends to analyse the practices of information disclosure of the intellectual capital in the banking sector in Portugal, complementing the analysis of the disclosure of intangible assets in the context of accounting standards with the disclosure of intellectual capital in the context of organizational management. In particular, our main aims are to identify the extent of disclosure of intellectual capital made by banks in Portugal and also to identify the factors that determine such a disclosure. The disclosure in the context of accounting standards will be studied by checking the disclosure of intangible assets through the items listed in the International Accounting Standard 38 developed by the International Accounting Standards Board. The context of management was analysed by means of creating a voluntary disclosure index based on assumptions of the model Intellectus, developed by the Centro de Investigación sobre la Sociedad del Conocimiento – Instituto de Administración de Empresas (CIC-IADE) of the Universidad Autónoma of Madrid, and of the model Intellectual Capital Statement (made in Europe) (InCaS), both promoted by the European Commission and that we have adapted to the banking sector. When analysing the disclosure of intangible assets based on the context of accounting standards and the voluntary disclosure of intellectual capital, this study has tried to raise awareness about the importance of issuing reports on the intellectual capital as an alternative tool to take management decisions in the existing organizations and reflects the transparency and legitimacy that these institutions seek through a more extensive and more detailed information disclosure of their intellectual capital. Based on a complimentarily of economic theories, together with social and political theories, we tried to check the extent, evolution and tendencies of the compulsory disclosure of intangible assets and of the voluntary disclosure of the intellectual capital analysed in the period 2001-2011. Banks characteristics were also analysed in order to deduce those factors that determine or promote a larger disclosure in this sector. Based on these objectives, we adopted a longitudinal approach to explore the extent and the development of the disclosure of intangible assets as well as the factors that have determined it. Furthermore, we sought to assess the impact of the adoption of IAS 38 in the financial statements of the organizations in this sector. The disclosure index created on the basis of the disclosure requirements stated in IAS 38 from IASB was applied to the consolidated financial statements of the seventeen banks that rendered their statements in Portugal from 2001 to 2009. Since the information disclosed in the context of accounting standards may not have an important role as a management tool once it was not able to reflect what really contributes to the competitiveness and organizational growth, the voluntary disclosure of the intellectual capital was analysed according to the information obtained from the 2010 annual individual reports of the banks operating in Portugal in that year and from their respective websites in 2011. We tried to analyse the extent of the voluntary disclosure of the intellectual capital and of each of its components, human capital, structural capital and relational capital. The comparative analysis of their annual reports and their web pages allowed us to assess the incidence of the disclosure and discover what channel the banking sector focuses on when disclosing their intellectual capital. Also in this analysis the study of the disclosure determinants has allowed us to conclude about the influence of particular characteristics in the voluntary disclosure of the intellectual capital. The results of the analysis to the extent of the disclosure of intangible assets in the consolidated financial statements of the banking groups in Portugal in the period 2001-2009 have shown an average information disclosure of 0.24. This information disclosure evolved from an average value of 0.1940 in 2001 to 0.2778 in 2009. The average value is 0.8286 if it is only considered the disclosure of the intangible assets that the banks possessed. The evolution of this index means an increase in the average disclosure from 0.7852 in 2001 to 0.8788 in 2009. From the first results that are related to the extent of the disclosure of intangible assets in the financial statements, we can verify that the banking groups present a low disclosure level of these resources. However, when considering the disclosure of only the intangible assets that each institution owns, the disclosure level appears to be in compliance with the disclosure requirements for this sector. An evolution in the disclosure of intangible assets for the period considered was confirmed, showing an increase in the information disclosure of intangible assets in 2005, the year in which the accounting rules for intangible assets changed. The analysis that focused on the disclosure in the context of management tried to understand the extent, the incidence and the determinants of the voluntary information disclosure of intellectual capital in the annual reports of 2010 and on their web pages in 2011, studying the 32 banks operating in Portugal in this period. The average voluntary disclosure of the intellectual capital in the 2010 annual reports is 0.4342 while that in web pages is 0.2907. A review of the components of the intellectual capital allowed us to assess the importance that the banks confer to each of these components. The data obtained show that the relational capital, and more specifically the business capital, is the most disclosed component by banks in Portugal both in the annual reports and in their institutional web pages, followed by the structural capital and, finally, by the human capital. The disclosure of the human capital and the structural capital is higher in the annual reports than that in the websites, while the relational capital is more disclosed in the websites than in the annual reports. The results have also shown that the banks make a complementary use of both sources when disclosing information about their structural capital and relational capital but they do not show any information about their human capital in their websites. We tried to prove the influence of factors that could determine the accounting disclosure and the voluntary disclosure of the intellectual capital in this sector. The change in the IASB accounting rules as from January 1st 2005 gave a greater disclosure of accounting information of intangible assets in the financial statements of banks. The bank size and corporate governance measures have statistically proved to have an influence on the extent of the accounting disclosure of intangible assets and on the voluntary disclosure of the intellectual capital. Economic and financial variables such as profitability, operating efficiency or solvency were not determinants of information disclosure. The instability that the banking sector has experienced in economic and financial indicators in recent years as a result of the global financial markets imbalance has worsen indicators such as profitability, efficiency and solvency and caused major discrepancies in the economic situation between banks in Portugal. This empirical analysis has contributed to confront the disclosure required by accounting rules performed in the financial statements of organizations with that performed in the main disclosure media which is available for entities and which is increasingly requested in the process of taking management decisions. It also allowed us to verify whether there is homogeneity between institutions in the fulfilment of the requirements for information disclosure of intangible assets. However, as for voluntary disclosure of intellectual capital, there are large disparities in the disclosure extent between organizations. Regardless of this sector specific characteristics, the voluntary disclosure of intellectual capital made by banks in Portugal follows the trends in other sectors and the practices adopted in other countries, namely regarding the amount of information disclosed, the incidence of the disclosure on the indicators of relational capital and the importance of variables such as size as determinants of disclosure of intellectual capital. For a further knowledge in this field, we created a specific index for the banking sector, considering appropriate indicators for an incisive, comprehensive analysis in order to consider the most relevant indicators of intellectual capital components. Besides, confronting the analysis of disclosure in the context of accounting standards with the study of voluntary disclosure brought a new analysis approach to the research on intellectual capital disclosure. With this study, we have also intended to raise greater awareness of the need for harmonization in the intellectual capital disclosure on the part of the regulatory banking authority by means of a demanding, consistent and transparent report of intellectual capital with simple, clear, objective indicators so that those interested in disclosing intellectual capital information in the organizations in this sector may obtain more harmonized and comparable information. A research on the disclosure quality of intellectual capital, together with the application of other analysis methodologies in this sector, might be a promising approach for future research. Applying the voluntary disclosure index to the same sector in other countries may also contribute to the knowledge of disclosure practices in different geographical environments. We highlight the relevance of further studies contributing to the harmonization and consistency in the presentation of an intellectual capital report so as to enable organizations to disclose the resources that contribute most to their competitiveness and growth.