Presentation
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
Author/s | Ruiz Cortés, Antonio
Durán Toro, Amador Corchuelo Gil, Rafael Bernárdez Jiménez, Beatriz Toro Bonilla, Miguel |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2001 |
Deposit Date | 2015-06-29 |
Published in |
|
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 ... 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. |
Funding agencies | Comisión Interministerial de Ciencia y Tecnología (CICYT). España |
Project ID. | TIC 2000-1106-C02-01 |
Citation | Ruiz Cortés, A., Durán Toro, A., Corchuelo Gil, R., Bernárdez Jiménez, B. y Toro Bonilla, M. (2001). Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. |
Files | Size | Format | View | Description |
---|---|---|---|---|
file_1.pdf | 116.1Kb | [PDF] | View/ | |