MAKING FORMAL METHODS EDUCATION EFFECTIVE FOR PROFESSIONAL SOFTWARE ENGINEERS

  • GARLAN D
  • 2

    Readers

    Mendeley users who have this article in their library.
  • N/A

    Citations

    Citations of this article.

Abstract

A critical issue in the design of a professional software engineering
degree program is the way in which formal methods are integrated into
the curriculum. The approach taken by most programs is to teach formal
techniques for software development in a separate course on formal
methods. In this paper we detail some of the problems with that approach
and describe an alternative in which formal methods are integrated
across the curriculum. We illustrate the strengths and weaknesses of
this alternative in terms of our experience of using it in the Master of
Software Engineering Program at Carnegie Mellon University.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • D GARLAN

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free