Ponencia
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
Autor/es | Ruiz Cortés, Antonio
Durán Toro, Amador Corchuelo Gil, Rafael Bernárdez Jiménez, Beatriz Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2001 |
Fecha de depósito | 2015-06-29 |
Publicado en |
|
Resumen | 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. |
Agencias financiadoras | Comisión Interministerial de Ciencia y Tecnología (CICYT). España |
Identificador del proyecto | TIC 2000-1106-C02-01 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 116.1Kb | [PDF] | Ver/ | |