The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Historically, programming languages have taken one of two positions with respect to types: static typing or dynamic typing. However, in recent years, there has been research on a third option: gradual typing. Gradual typing allows a developer to choose what parts of the application are statically typed or dynamically typed. Focusing on the aspect of optimizing applications, there is a particular procedure:...
The competences-based training arises from the company as an educational strategy that addresses the shortcoming claimed by the labor market, in relation to the poor development of many skills in computer science engineers. Some strategies that allow to validate soft skills in a competency-based educative model for a computer science curriculum are described. The preliminary results report retention...
Currently, companies should turn their attention to the increasing market competition. The quality of their products is directly related to the organizational processes that should be well defined and adopted. Regarding software, it is important that the choice of a development method is aimed at matching organization needs and its production culture. The micro and small enterprises face many problems...
Originally, the introduction of aspects to address crosscutting concerns was proposed for implementation activities. Aspects have also been considered in the software architecture community in order to solve the problems of modularization of crosscutting concerns. The real benefits of introducing aspects into software architecture design are still debated. In this article, a systematic review on aspect-oriented...
Characterizing the software development context has been recognized as relevant for a variety of purposes, particularly for tailoring the organizational software processes according to the features of each project to be addressed. That tailoring activity makes the software processes more efficient and effective. However, formally modeling software development contexts, which is usually required to...
Formalizing software processes allows process engineers to analyze, simulate, evolve and manipulate them with different purposes. Eclipse Process Framework Composer is a free tool for formalizing SPEM 2.0 processes, it provides primitives for process definition and allows to graphically visualize processes. This user friendliness is crucial for practitioners to both follow the designed process and...
In this paper, an approach based on WorkFlow nets and on possibilistic Petri nets is proposed to deal with non-conformance in Business Processes. Routing patterns existing in Business Processes are modeled by WorkFlow nets. To express in a more realistic way the uncertainty attached to human activities, possibilistic Petri nets with uncertainty on the marking and on the transition firing are considered...
Assessing usability in any software product may be a key factor for predicting its success or fail. Heuristic evaluation is the most commonly used usability evaluation method. It uses a set of recognized usability design principles (heuristics). Until now, the Nielsen's ten usability heuristics have been widely used. However, such heuristics are too general and currently it is necessary to provide...
Usability is a main issue which definitely affects the quality and success of any interactive product. Touchscreen-based mobile devices are very popular nowadays, the development of new devices and related applications is demanded by users around the world. These new products should be designed following a user-centered approach, which require systematic usability evaluations. In this paper, we present...
The reduction of cost and running time provided by new generation sequencing technologies made possible the emergence of thousands of genome projects in the last few years. On the other hand, those technologies posed important computational challenges, pushing the advance of many research fields in computer science. Particularly, the de novo DNA fragment assembly, which is a fundamental stage in genome...
Artificial Neural Networks (ANNs) are often used (trained) to find a general solution in problems where a pattern needs to be extracted, such as data classification. Feedforward (FFNN) is one of the ANN architectures and multilayer perceptron (MLP) is a type of FFNN. Based on gradient descent, backpropagation (BP) is one of the most used algorithms for MLP training. Evolutionary algorithms can be...
A new regression method based on the aggregating algorithm for regression (AAR) is presented. The proposal shows how ridge regression can be modified in order to reduce the number of operations by avoiding the inverse matrix calculation only considering a sliding window of the last input values. This modification allows algorithm expression in a recursive way and therefore its use in an online context...
Usually time series are controlled by two or more data generative processes which display changes over time. Each one of these processes may be described by different models. In practice, the observed data is an aggregated view of the processes, fact which limits the effectivity of any model selection procedure. In many occasions, the data generative processes may be separated by using spectral analysis...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.