DURÁN TORO , Amador

En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto por: 1- Un modelo de procesos interactivo en el que se identifican tres actividades principales: elecitación, análisis y validación. 2- Una metodología para la elicitación de requisitos de sistemas de información, incluyendo...

In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. These ideas have been implemented in REM, an experimental requirements management...

En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas desarrolladas por el Grupo de Ingeniería del Software de la Universidad de Sevilla. Esta revisión se basa en los datos empíricos obtenidos de prácticas de alumnos de segundo ciclo de la Ingeniería Informática de la...

No description

Comisión Interministerial de Ciencia y Tecnología TIC 97–0593–C05–01

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually propose a negotiation process with similar methods and goals. Unfortunately, only a few have partial automatic support. in this paper, we revisit one of the most mature models, Boehm's Win–Win model. Win–Win is a qualitative,...

One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer professional customers and users. The usual choice for expressing elicited requirements is natural language, since it is frequently the only common language to all...

Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los requisitos de forma que todos los participantes sean capaces de comprenderlos, especialmente los que no son profesionales informáticos. Para ello, lo habitual es usar lenguaje natural que, por lo general, es el único lenguaje...

The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason is that it will allow to build economically–optimal systems whose quality level can be guaranteed. In this paper, we identify some of the main problems with which this kind of futures systems are going to be faced, and...

In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our approach, XSLT stylesheets are used not only to automatically generate requirements documents, but also to...

No description

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to...

Natural language requirements documents are often verified by means of some reading technique. Some recommendations for defining a good reading technique point out that a concrete technique must not only be suitable for specific classes of defects, but also for a concrete notation in which requirements are written. Following this suggestion, we...

In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to compute...

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to...

Contexto: La replicación de estudios empíricos en Ingeniería del Software es necesaria para consolidar el conocimiento adquirido. No obstante, para incrementar el conocimiento que se genera mediante la replicación, es necesario que la información se publique de forma que permita una comprensión profunda del estudio. Objetivo: Al diseñar una...

Universidad de Castilla-La Mancha MUML project (011.100623)

In this paper, some experiences gained during the definition of a unified, common software development process for several companies in Telvent are presented. Last year, Telvent made the decision of developing a unique software development process which was flexible enough to be adapted to specific practices and needs of the different...

No description

Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En esta unión confluyen por una lado una organización con gran experiencia en el modelado de procesos de negocio y con una notación ampliamente difundida, BPMN (Bussiness Process Management Notation), y por otro lado la...

El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes de especificación de requisitos de calidad para soportar el tratamiento automá- tico que, sobre este tipo de requisitos,...