Teaching and learning formal methods, improving productivity

  • Authors:

  • J F Miller

  • Affiliations:

  • Department of Computer Science and Information Systems, University of Limerick

  • Venue:
  • IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper discusses requirements for the teaching of formal methods and introduces the notion of productivity in learning. The three attribute model of learning is used to support the use of drag and drop as a universal educational paradigm. An example of this technique is given and a call is made for the establishment of a teaching DIY superstore containing reusable components from which experimental teaching tools for formal methods can be rapidly constructed.