Experiences of Teaching a Lightweight Formal Method
Russell Boyatt, Jane E. Sinclair · Warwick Research Archive Portal (University of Warwick) · 2008
This paper reports our experience of using a "lightweight" formal approach, Alloy, and its associated tool support for teaching a core undergraduate module introducing formal methods. It considers the benefits and drawbacks in terms of both the student experience and our own aims and objectives for the module. In addition, we link the practical, experimental approach supported by the Alloy Analyzer to educational theory and consider the implications of such an approach to teaching and learning.