n this paper, we present MDSHEET, a framework for the embedding, evolution and inference of spreadsheet models. This framework offers a model-driven software development mechanism for spreadsheet users.

n/a

Although spreadsheets can be seen as a flexible programming environment, they lack some of the concepts of regular programming languages, such as structured data types. This can lead the user to edit the spreadsheet in a wrong way and perhaps cause corrupt or redundant data. We devised a method for extraction of a relational model from a spreadsheet and the subsequent embedding of the model back into the spreadsheet to create a model-based spreadsheet programming environment. The extraction algorithm is specific for spreadsheets since it considers particularities such as layout and column arrangement. The extracted model is used to generate formulas and visual elements that are then embedded in the spreadsheet helping the user to edit data in a correct way. We present preliminary experimental results from applying our approach to a sample of spreadsheets from the EUSES Spreadsheet Corpus.

Spreadsheets can be viewed as programming languages for non-professional programmers. These so-called ``end-user'' programmers vastly outnumber professional programmers creating millions of new spreadsheets every year. As a programming language, spreadsheets lack support for abstraction, testing, encapsulation, or structured programming. As a result, and as numerous studies have shown, the high rate of production is accompanied by an alarming high rate of errors. Some studies report that up to 90% of real-world spreadsheets contain errors. After their initial creation, many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users over long periods of time, making them complicated systems. An emerging solution to handle the complex and evolving software systems is Model-driven Engineering (MDE). To consider models as first class entities and any software artifact as a model or a model element is one of the basic principles of MDE. We adopted some techniques from MDE to solve spreadsheet problems. Most spreadsheets (if not all) lack a proper specification or a model. Using reverse engineering techniques we are able to derive various models from legacy spreadsheets. We use functional dependencies (a formalism that allow us to define how some column values depend on other column values) as building blocks for these models. Models can be used for several spreadsheet improvements, namely refactoring, safe evolution, migration or even generation of edit assistance. The techniques presented in this work are available under the framework HAEXCEL that we developed. It is composed of online and batch tools, reusable HASKELL libraries and OpenOffice.org extensions. A study with several end-users was organized to survey the impact of the techniques we designed. The results of this study indicate that the models can bring great benefits to spreadsheet engineering helping users to commit fewer errors and to work faster.

Goal-Oriented Requirements Engineering (GORE) has received increasing attention over the past few years.
There are several goal-oriented approaches, each one using different kinds of models. We argue that it would be useful to relate them or even perform transformations among them automatically, in order to understand their similarities and differences, their advantages and disadvantages, allowing a possible migration or comparison between approaches. This is something that has not received enough attention. In this paper
we propose the definition and implementation of goal model transformations between i* and KAOS. As an immediate contribution, the approach can be used to migrate from one goal model to another through automatic model transformations. This approach also contributes to relate the concepts of i* and KAOS models and will help, for example, a development team in making the decision on which approach to follow, according to the nature of the project and the expressiveness of an approach to represent certain concepts
(e.g., obstacles are represented explicitly in KAOS, but not in i*). Another contribution is to facilitate communication among members of the same team, if they are specialized in different approaches.

Inductive superconducting fault current limiters have already demonstrated their technical viability in electrical networks. Its architecture and robustness make them potentially adequate for distribution networks, and this type of devices is considered as an enabling technology for the advent of embedded generation with renewable energy sources. In order to promote the growth and maturity of these superconducting technologies, fast design tools must be developed, allowing simulating devices with different materials in grids with diverse characteristics. This work presents advances in the development of such tool, which, at present stage, is an effective alternative to software simulations by finite elements methods, reducing dramatically computation time. The algorithms are now compared with experimental results from a laboratory scale prototype, showing the need to refine them.

n/a

Building stones, particularly sandstone and granite, are very important in the building elements of Portugal’s historical and cultural heritage. Experimental research, based on uniaxial compressive tests, was carried out on selected representative samples of lithotypes of rocks used in historic built heritage, with a view to evaluating the compressive mechanical behaviour of different building stones. The results showed that porosity plays a central role in the compressive behaviour of granites and sandstones. As porosity can be evaluated in field conditions with non-destructive tests it was decided to derive an analytical model to predict compressive behaviour based on the knowledge of porosity of the building stones. A cubic polynomial function was adopted to describe the pre-peak regime under compression to implement the model. Furthermore, a statistical correlation between mechanical and porosity data had to be defined. Good agreement between experimental and analytical compressive stress–strain diagrams, from which the mechanical properties like compressive strength and modulus of elasticity can be derived, was achieved.

The microstructural aspects related to crystalline or amorphous structure of as-deposited and annealed films of sol-gel-derived WO 3 are shown in the literature to be critical for electrochromic (EC) performance. In consideration of ion insertion materials, there is a need for developing light and at the same time nanocrystalline structures to improve both coloration efficiency and switching kinetics. By controlling microstructure and morphology, one could design a material with optimal EC performance. This report compares the microstructural and morphological characteristics of standard WO 3 wet deposition techniques versus inkjet printing technology (IPT), correlating these features with their optical and electrochemical performances, emphasizing the importance of the dual-phase a-WO 3/TiO 2/WO X film composition proposed in this work for high-performance EC applications. The effect of the type and content of metal oxide nanoparticles in the precursor sols formulated in various peroxopolytungstic acid (PTA) and oxalic acid (OAD) proportions on film properties is comprehensively studied using multi-factorial design of experiment (DOE). To the authors' knowledge, no other report on sol-gel deposition of inorganic EC materials via the inkjet printing technique exists, in which furthermore the film crystallinity can be controlled under low-temperature process conditions. The proposed method enables development of EC films which irrespective of their composition (a-WO 3, a-WO 3/TiO 2 or a-WO 3/TiO 2/WO X) outperform their amorphous or nanocrystalline analogues presented as the state-of-the-art due to their superior chemical and physical properties. © 2012 The Royal Society of Chemistry.

Inductive superconducting fault current limiters have already demonstrated their technical viability in electrical networks. Its architecture and robustness make them potentially adequate for distribution networks, and this type of devices is considered as an enabling technology for the advent of embedded generation with renewable energy sources. In order to promote the growth and maturity of these superconducting technologies, fast design tools must be developed, allowing simulating devices with different materials in grids with diverse characteristics. This work presents advances in the development of such tool, which, at present stage, is an effective alternative to software simulations by finite elements methods, reducing dramatically computation time. The algorithms are now compared with experimental results from a laboratory scale prototype, showing the need to refine them.

Reduction in the accumulation capacitance value was more in Si metal-oxide-semiconductor devices than that of Ge metal-oxide-semiconductor devices after a thermal treatment irrespective of the annealing environment. Relatively, thermal treatment in oxygen environment improves the interface quality of HfO2/Ge stacks considerably, when compared with HfO 2/Si stacks. Whereas, the forming gas annealing at a temperature of 400 °C was not so effective in improving the interface quality at HfO 2/Si stack. The presence of induced negatively charged hydrogen atom in Ge lessens the Fermi level pinning at HfO2 and Ge interface. © 2011 Elsevier B.V. All rights reserved.