Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #202   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Integrating Formal Methods into a Professional Master of Software Engineering Program

David Garlan.


In Proceedings of the Eighth Z User Meeting, Springer-Verlag, Cambridge, England, June 1994.

Online links: PDF PS   Bibtex entry   Plain Text

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.

Keywords: Education, Formal Methods.  
    Created: 2006-08-22 17:26:13     Modified: 2006-08-22 17:27:05
Feedback: ABLE Webmaster
Last modified: Fri July 25 2014 13:46:14
        BibAdmin