View Item 

Verification of i* models using alloy

Access Status
Fulltext not available
Authors
Oluoch Ating'a, Peter
Krishna, Aneesh
Date
2011
Type
Conference Paper

Metadata
Show full item record
Citation
Oluoch Ating'a, P. and Krishna, A. 2011. Verification of i* models using alloy, in J Porkorny, V Repa, K Richta, W Wojtkowski, H Linger, C Barry, M Lang (ed), 19th International Conference on Information Systems Development (ISD 2010), Aug 25 2010, pp. 63-74. Prague: Springer.
Source Title
Information Systems Development
Source Conference
19th International Conference on Information Systems Development (ISD 2010)
ISBN
School
Department of Computing
URI
Collection