Search academic resources

Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more...

The importance of correctly determining the requirements of a system at the very beginning of the development process it is a well known fact. Experience shows that the incorrect definition of the requirements leads to t...

The importance of correctly determining the requirements of a system at the very beginning of the development process it is a well known fact. Experience shows that the incorrect definition of the requirements leads to t...

La Arquitectura Model Driven (MDA) promueve el uso de modelos y transformaciones de modelos para desarrollar sistemas de software. La idea central de MDA es manejar la evolución de modelos independientes de la plataform...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

The Standardization of a development process for systems of medium complexity, entirely supported by an integrated development environment, could mean a double contribution to the industry of systems development. On the ...

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage o...

In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the curren...

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of...

La actividad de desarrollar programas orientados a objetos, los cuales involucran referencias a memoria, pueden introducir errores difíciles de identificar con el uso de un razonamiento operacional. Esto da lugar a la n...

Product Process Modeling Languaje(PPML) es un lenguaje formal para modelar Procesos de Negocios que posee una semántica basada en sistemas de transición de estados temporizados. El lenguaje posee elementos que lo hacen...

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

At present the business processes have temporary requirements within their specifications. Logistics, e-commerce, are examples of these, among others. The time involved in business processes is important regarding the in...

AOP/AOSD is a convenient approach to connect business rules to the domain without altering these components. However in complex applications such B2B and B2C systems, where rules play an important role it is necessary to...

The notion of rational agency was proposed by Russell [9] as an alternative characterization of intelligence agency. Loosely speaking, an agent is said to be rational if it perfomns the right actions according to the inf...

El trabajo presentado en este articulo tiene como objetivo implementar una herramienta que permita gestionar y validar requerimientos de software, que ayudará a definir los límites del sistema al momento de formular lo...

In the last years software researchers have been looking for ways of assembling systems in a style of software construction similar to “LEGO blocks”. Software components are reusable building blocks for constructing ...

La Explotación de Información es la subdisciplina de la Informática que aporta las herramientas de análisis y síntesis para extraer conocimiento no trivial que se encuentra implícitamente en los datos disponibles e...

Existe un interés creciente en el estudio de la integración entre requisitos y arquitecturas, a partir del cual se han identificado los aspectos problemáticos de esta integración así como también algunas soluciones...