Verification of i* models using alloy

dc.contributor.author	Oluoch Ating'a, Peter
dc.contributor.author	Krishna, Aneesh
dc.contributor.editor	J Porkorny
dc.contributor.editor	V Repa
dc.contributor.editor	K Richta
dc.contributor.editor	W Wojtkowski
dc.contributor.editor	H Linger
dc.contributor.editor	C Barry
dc.contributor.editor	M Lang
dc.date.accessioned	2017-01-30T10:28:44Z
dc.date.available	2017-01-30T10:28:44Z
dc.date.created	2015-03-03T20:17:33Z
dc.date.issued	2011
dc.identifier.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.
dc.identifier.uri	http://hdl.handle.net/20.500.11937/3129
dc.publisher	Springer
dc.title	Verification of i* models using alloy
dc.type	Conference Paper
dcterms.source.startPage	63
dcterms.source.endPage	74
dcterms.source.title	Information Systems Development
dcterms.source.series	Information Systems Development
dcterms.source.isbn	9781441996459
dcterms.source.conference	19th International Conference on Information Systems Development (ISD 2010)
dcterms.source.conference-start-date	Aug 25 2010
dcterms.source.conferencelocation	Prague
dcterms.source.place	USA
curtin.department	Department of Computing
curtin.accessStatus	Fulltext not available