5 resultados para Notion of code
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
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.
Resumo:
More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications
Resumo:
The significant number of publications describing unsuccessful cases in the introduction of health information systems makes it advisable to analyze the factors that may be contributing to such failures. However, the very notion of success is not equally assumed in all publications. Based in a literature review, the authors argue that the introduction of systems must be based in an eclectic combination of knowledge fields, adopting methodologies that strengthen the role of organizational culture and human resources in this project, as a whole. On the other hand, the authors argue that the introduction of systems should be oriented by a previously defined matrix of factors, against which the success can be measured.
Resumo:
In the category of Hom-Leibniz algebras we introduce the notion of Hom-corepresentation as adequate coefficients to construct the chain complex from which we compute the Leibniz homology of Hom-Leibniz algebras. We study universal central extensions of Hom-Leibniz algebras and generalize some classical results, nevertheless it is necessary to introduce new notions of α-central extension, universal α-central extension and α-perfect Hom-Leibniz algebra due to the fact that the composition of two central extensions of Hom-Leibniz algebras is not central. We also provide the recognition criteria for these kind of universal central extensions. We prove that an α-perfect Hom-Lie algebra admits a universal α-central extension in the categories of Hom-Lie and Hom-Leibniz algebras and we obtain the relationships between both of them. In case α = Id we recover the corresponding results on universal central extensions of Leibniz algebras.
Resumo:
As the amount of debt has gradually increased, particularly in recent years, Portugal is currently one of the European countries exhibiting one of the highest levels of overall indebtedness, including in both sovereign and private sectors. Indeed, this condition is the outcome of increasing levels of debt assumed not only by the government, but also by companies and families, being the later mostly due to mortgage loans and due charges. This paper focuses on the study of borrowing by Portuguese households. The research has been made in respect to the notion of debt, the consequences of recent developments in debt, among other factors. In order to analyse the factors that are most associated with debt, a study was developed using two multiple regression models, one using a longer time series and another shorter, evaluating the effect of several variables, such as consumption, savings, unemployment, inflation and interest rates, in order to check whether they could be associated with a higher level of debt.