i* Models Using Alloy

Peter Oluoch Ating'a, Aneesh Krishna. i* Models Using Alloy. In Jaroslav Pokorný, Václav Repa, Karel Richta, Wita Wojtkowski, Henry Linger, Chris Barry, Michael Lang, editors, Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010]. pages 63-74, Springer, 2010. [doi]


Abstract is missing.