Making formal methods education effective for professional software engineers

9Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full 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. © 1995.

Cite

CITATION STYLE

APA

Garlan, D. (1995). Making formal methods education effective for professional software engineers. Information and Software Technology, 37(5–6), 261–268. https://doi.org/10.1016/0950-5849(95)99361-P

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free