Teaching and Learning Formal Methods, Improving Productivity

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.

Content

Author and article information

Conference

Publication date: July 1999

Publication date (Print): July 1999

Pages: 1-7

Affiliations

[0001]Department of Computer Science and Information Systems, University of Limerick

Article

DOI: 10.14236/ewic/IWFM1999.12

SO-VID: 132ce634-70b0-497a-8e7a-105ab1772eff

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 3rd Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 3

Conference location: Galway, Ireland

Conference date: 1st - 2nd July 1999

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM1999.12

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Teaching and Learning Formal Methods, Improving Productivity

Abstract