- -

Verifying goal-oriented specifications used in model-driven development processes

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Verifying goal-oriented specifications used in model-driven development processes

Show full item record

Giachetti Herrera, GA.; Marín, B.; López, L.; Franch, X.; Pastor López, O. (2017). Verifying goal-oriented specifications used in model-driven development processes. Information Systems. 64:41-62. https://doi.org/10.1016/j.is.2016.06.011

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/152264

Files in this item

Item Metadata

Title: Verifying goal-oriented specifications used in model-driven development processes
Author: Giachetti Herrera, Giovanni Andrés Marín, Beatriz López, Lidia Franch, Xavier Pastor López, Oscar
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] Goal-oriented requirements engineering promotes the use of goals to elicit, elaborate, structure, specify, analyze, negotiate, document, and modify requirements. Thus, goal-oriented specifications are essential for ...[+]
Subjects: Model-driven development , Verification approach , Goal-oriented requirements , I* framework
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Source:
Information Systems. (issn: 0306-4379 )
DOI: 10.1016/j.is.2016.06.011
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.is.2016.06.011
Thanks:
This work has been developed with the support of FONDECYT under the projects AMoDDI 11130583 and TESTMODE 11121395.This work is also supported by EOSSAC project, funded by the Ministry of Economy and Competitiveness of the ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record