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

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.  
@InProceedings{Garlan94ZUM,
      AUTHOR = {Garlan, David},
      TITLE = {Integrating Formal Methods into a Professional Master of Software Engineering Program},
      YEAR = {1994},
      MONTH = {June},
      BOOKTITLE = {Proceedings of the Eighth Z User Meeting},
      KEY = {Garlan},
      SERIES = {Workshops in Computing},
      ADDRESS = {Cambridge, England},
      PUBLISHER = {Springer-Verlag},
      PDF = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/able/ftp/fmmse-zum94/fmmse-zum94.pdf},
      PS = {http://www.cs.cmu.edu/afs/cs.cmu.edu/project/able/ftp/fmmse-zum94/fmmse-zum94.ps},
      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: Sat October 12 2019 16:15:32
        BibAdmin