Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

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

Modifying fish gelatin electrospun membranes for biomedical applications: cross- linking and swelling behavior

Development of suitable membranes is a fundamental requisite for tissue and biomedical engineering applications. This work presents fish gelatin random and aligned electrospun membranes cross-linked with glutaraldehyde (GA). It was observed that the fiber average diameter and the morphology is not influenced by the GA exposure time and presents fibers with an average diameter around 250 nm. Moreover, when the gelatin mats are immersed in a phosphate buffered saline solution (PBS), they can retain as much as 12 times its initial weight of solution almost instantaneously, but the material microstructure of the fiber mats changes from the characteristic fibrous to an almost spherical porous structure. Cross-linked gelatin electrospun fiber mats and films showed a water vapor permeability of 1.37 ± 0.02 and 0.13 ± 0.10 (g.mm)/(m2.h.kPa), respectively. Finally, the processing technique and cross-linking process does not inhibit MC-3T3-E1 cell adhesion. Preliminary cell culture results showed good cell adhesion and proliferation in the cross-linked random and aligned gelatin fiber mats.

Effect of neutralization and cross-linking on the thermal degradation of chitosan electrospun membranes

Thermal degradation of as electrospun chitosan membranes and samples subsequently treated with ethanol and cross-linked with glutaraldehyde (GA) have been studied by thermogravimetry (TG) coupled with an infrared spectrometer (FTIR). The influence of the electrospinning process and cross-linking in the electrospun chitosan thermal stability was evaluated. Up to three degradation steps were observed in the TG data, corresponding to water dehydration reaction at temperatures below 100 ºC, loss of side groups formed between the amine groups of chitosan and trifluoroacetic acid between 150 – 270 ºC and chitosan thermal degradation that starts around 250 ºC and goes up to 400 ºC. The Kissinger model was employed to evaluate the activation energies of the electrospun membranes during isothermal experiments and revealed that thermal degradation activation energy increases for the samples processed by electrospinning and subsequent neutralization and cross-linking treatments with respect to the neat chitosan powder.

IDEA MANAGEMENT SYSTEM - AN ESSENTIAL COMPONENT IN THE CONTINUOUS IMPROVEMENT OF QUALITY AND INNOVATION

It is known the power of ideas is tremendous. But there are employees in many companies who have good ideas but not put them into practice. On the other hand, there are many others who have good ideas and are encouraged to contribute their ideas for innovation in the company. This study attempts to identify factors that contribute to success in managing ideas and consequent business innovation. The method used was the case study applied to two companies. During the investigation, factors considered essential for the success of an idea management program were identified, of which we highlight, among others, evidences the results, involvement of the top management, establishment of goals and objectives; recognition; dissemination of good results. Companies with these implemented systems, capture the best ideas from their collaborators and apply them internally. This study intends to contribute to business innovation in enterprises through creation and idea management, mainly through collecting the best ideas of their own employees. The results of this study can be used to help improving deployed suggestions systems, as well as, all managers who wish to implement suggestions systems/ideas management systems.