Buscar recursos académicos

Even if it seems to be at a first glance a simple question, this is really a very interesting one. For many years, Analysis has been the generic term to refer to those initial Software Production Process steps where desi...

Many methodologies have been proposed to systematize the software development process. Many of them have been widely adopted. However, the majority has focused on analysis and design. Requirements have frequently been fo...

UML (Unified Modeling Language) is one of the most used languages to specify and document informatics applications. However, UML is a generalpurpose language, so it often lacks of elements to model and represent concrete...

In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this ...

An account is given of the development of the SHELX system of computer programs from SHELX-76 to the present day. In addition to identifying useful innovations that have come into general use through their implementation...

Abstract Motivation: Many programs for aligning short sequencing reads to a reference genome have been developed in the last 2 years. Most of them are very efficient for short reads but inefficient or not applicable for ...

Coot is a molecular-graphics application for model building and validation of biological macromolecules. The program displays electron-density maps and atomic models and allows model manipulations such as idealization, r...

BACKGROUND: A frequent problem in computational modeling is the interconversion of chemical structures between different formats. While standard interchange formats exist (for example, Chemical Markup Language) and de fa...

The CCP4 (Collaborative Computational Project, Number 4) software suite is a collection of programs and associated data and software libraries which can be used for macromolecular structure determination by X-ray crystal...

Comparative protein modeling is increasingly gaining interest since it is of great assistance during the rational design of mutagenesis experiments. The availability of this method, and the resulting models, has however ...

NAMD is a parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems. NAMD scales to hundreds of processors on high-end parallel platforms, as well as tens of processors on lo...

Abstract ORCA is a general‐purpose quantum chemistry program package that features virtually all modern electronic structure methods (density functional theory, many‐body perturbation and coupled cluster theories, an...

MOTIVATION: A new protocol for sequencing the messenger RNA in a cell, known as RNA-Seq, generates millions of short sequence fragments in a single run. These fragments, or 'reads', can be used to measure levels of gene ...

BACKGROUND: the analysis of microbial communities through dna sequencing brings many challenges: the integration of different types of data with methods from ecology, genetics, phylogenetics, multivariate statistics, vis...

There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this...

In this paper we present two basic modules whithin the designed scheme for retrieving images of a database from the object colour and shape in the scenes. On the one hand, we desing a new method to detect edges in colour...

Computer Program Abstracts The category Computer Program Abstracts provides a rapid means of communicating up-to-date information concerning both new programs or systems and significant updates to existing ones. Followin...

This paper describes how to design low-cost reliable computing software for various application systems, by incorporating a single-version fault tolerant scheme along with run-time signature-based control-flow checking. ...

Agents repesent a new paradigm for developing software applications. In spite of the interest of this particular way of looking at problems, there is considerable discrepancy on exactly what is an agent and which are the...

Data quality is a research area strongly investigated during the 90’s. However, few companies in Argentina apply data quality methodologies or tools during the analysis, design or implementation phases of software deve...

UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality. This fact is corroborated by the ...

BACKGROUND: RNA-Seq is revolutionizing the way transcript abundances are measured. A key challenge in transcript quantification from RNA-Seq data is the handling of reads that map to multiple genes or isoforms. This issu...

Materias / palabras clave: software engineering, software architecture, software testing, distributed computing, software design, software development; Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Compute...