Desiree: a Refinement Calculus for Requirements Problems

Edited book

Peer reviewed

F Li, A Borgida, Giancarlo Guizzardi, J Horkoff, L Liu and J Mylopoulos

abs/1605.02263, arxiv.org

2016

Handle:

https://hdl.handle.net/10863/53440

Files and links (1)

url

http://arxiv.org/abs/1605.02263View

Title: Desiree: a Refinement Calculus for Requirements Problems
Creators: F Li
A Borgida
Giancarlo Guizzardi
J Horkoff
L Liu
J Mylopoulos
Series / Volume: abs/1605.02263
Publisher: arxiv.org
Identifiers: (UNIBZ)29322199
991007376769901241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Resource Type: Edited book
Author Names String: Li F, Borgida A, Guizzardi G, Horkoff J, Liu L, Mylopoulos J
Additional Description: description: Record is part of a bulk validation set

1 Record Views