Buscar recursos académicos

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 ...

Structural equation modeling (SEM) is a vast field and widely used by many applied researchers in the social and behavioral sciences. Over the years, many software packages for structural equation modeling have been deve...

New software, OLEX2 , has been developed for the determination, visualization and analysis of molecular crystal structures. The software has a portable mouse-driven workflow-oriented and fully comprehensive graphical use...

Macromolecular X-ray crystallography is routinely applied to understand biological processes at a molecular level. However, significant time and effort are still required to solve and complete many of these structures be...

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...

This is the first comprehensive introduction to Support Vector Machines (SVMs), a generation learning system based on recent advances in statistical learning theory. SVMs deliver state-of-the-art performance in real-worl...

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...

Abstract z-Tree (Zurich Toolbox for Ready-made Economic Experiments) is a software for developing and conducting economic experiments. The software is stable and allows programming almost any kind of experiments in a sho...

El objetivo fundamental de este proyecto es la implementación de un ambiente computarizado para asistir al diseño y construcción de aplicaciones Hipermediales, que se construirá como un CASE. Para esto es necesario ...

JAD es una metodología estructurada para la definición de objetivos, requerimientos y diseño externo que expande el rol de los usuarios, característica que la destaca de las otras técnicas de análisis y diseño de ...

Materias / palabras clave: Plug-in; Scripting language; Software; Computer science; Software engineering; Transformation (genetics); Open source software; Data science; Open source; Image processing; Software evolution; Architecture

Summary: After more than fifteen years of existence, the R package ape has continuously grown its contents, and has been used by a growing community of users. The release of version 5.0 has marked a leap towards a modern...

At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

"El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs ...

"La ingeniería del Software permite el desarrollo de herramientas que pueden ayudar en el entrenamiento y la introducción de este tipo de tecnologías. La presente obra muestra el desarrollo de un sistema de asistencia...

"Es posible alertar a los médicos de la existencia de interacciones medicamentosas por medio de sistemas de soporte para la toma de decisiones. En el Hospital Italiano de Buenos Aires se ha desarrollado un sistema de H...

En esta tesis se presenta un enfoque para llevar a cabo un proyecto de reingeniería para personalizar aplicaciones Web existentes. A tal fin, se describe paso a paso un proceso de reingeniería compuesto por dos activid...

The Open Visualization Tool (OVITO) is a new 3D visualization software designed for post-processing atomistic data obtained from molecular dynamics or Monte Carlo simulations. Unique analysis, editing and animations func...

El Desarrollo de Software Dirigido por Modelos o MDD (Model Driven Development), plantea una nueva forma de entender el desarrollo y mantenimiento de sistemas de software con el uso de modelos como principales artefactos...

Materias / palabras clave: software requirements, software security, software metrics, continuous software engineering, devops, public sector software systems; Science: Mathematics: Instruments and machines: Electronic computers. Computer science:...

Materias / palabras clave: computer science, information technology, computer engineering, engineering, software engineering; Science: Mathematics: Instruments and machines: Electronic computers. Computer science; Technology: Technology (General);...

Materias / palabras clave: electronics, electrical engineering, software engineering, artificial intelligence, knowledge engineering; Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer...

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...