Show simple item record

dc.contributor.authorOluoch Ating'a, Peter
dc.contributor.authorKrishna, Aneesh
dc.contributor.editorJ Porkorny, V Repa, K Richta, W Wojtkowski, H Linger, C Barry, M Lang
dc.date.accessioned2017-01-30T10:28:44Z
dc.date.available2017-01-30T10:28:44Z
dc.date.created2015-03-03T20:17:33Z
dc.date.issued2011
dc.identifier.citationOluoch 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.urihttp://hdl.handle.net/20.500.11937/3129
dc.publisherSpringer
dc.titleVerification of i* models using alloy
dc.typeConference Paper
dcterms.source.startPage63
dcterms.source.endPage74
dcterms.source.titleInformation Systems Development
dcterms.source.seriesInformation Systems Development
dcterms.source.isbn9781441996459
dcterms.source.conference19th International Conference on Information Systems Development (ISD 2010)
dcterms.source.conference-start-dateAug 25 2010
dcterms.source.conferencelocationPrague
dcterms.source.placeUSA
curtin.departmentDepartment of Computing
curtin.accessStatusFulltext not available


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record