Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors
Michael Barnett, Phillip J. Windley · Computer Science Education · 1994
In the fall of 1992, we taught an introductory programming course to a class of noncomputer science majors. We followed an approach based on formal specifications, with an informal translation to Pascal as an implementation language. This anecdotal article reports on our experiences and ideas for future attempts.