WIT Press


Using A Functional Language To Teach Elements Of Formal Methods

Price

Free (open access)

Volume

7

Pages

8

Published

1994

Size

623 kb

Paper DOI

10.2495/SEHE940521

Copyright

WIT Press

Author(s)

M. Harman & S. Danicic

Abstract

Many software engineering students, although familiar with computing, have a very limited mathematical background. These students, new to mathematics, are often overwhelmed by the large number of new concepts and notations. There is a need for software support in teaching these students the basics of set theory and discrete mathematics. We have been teaching the functional language Hope[l] as a second programming language to degree students for the past nine years. Rather than re-inventing the wheel, we have simply tailored the built-in func- tions of Hope to provide students with a 'Mathematical Toolkit' which can be used as a programmable calculator whose basic operations include many standard oper- ati

Keywords