WER2001 - 4th Workshop on Requirements Engineering, Buenos Aires - Argentina


Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales

Antonio Ruiz; Amador Durán; Rafael Corchuelo; Beatriz Bernárdez; Miguel Toro

PDF Scholar

Abstract

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, precisan el desarrollo y la explotación de MOWS. En este artículo se presenta un lenguaje formal de especificación de requisitos que facilita la comprobación automática de la conformidad y la economía, dos propiedades de gran interés para los MOWS.

ingeniería de requisitos; requisitos de calidad; aplicaciones WEB



WER Editions