Abstract
Formal methods are gaining steady industrial acceptance as a promising approach to developing high-quality software. Although educators find it increasingly important to include formal methods in their software engineering curriculum, they face a dilemma: there are too large numbers and diverse flavors of formal methods to cover in a limited time, and little empirical data exists on relative strengths and weaknesses among them. How can we best develop a curriculum on formal methods given several practical constraints? In this paper, we describe our approaches, share experiences, and evaluate results. Our goal is to stimulate further discussion among software engineering education communities on how formal methods can be most effectively introduced to current and next generation software engineers. Copyright
| Original language | English |
|---|---|
| Pages (from-to) | 39-45 |
| Number of pages | 7 |
| Journal | Journal of Research and Practice in Information Technology |
| Volume | 32 |
| Issue number | 1 |
| Publication status | Published - 2000 |
| Externally published | Yes |
Keywords
- Formal methods
- Software engineering education
ASJC Scopus subject areas
- Software
- Management Information Systems
- Information Systems
- Hardware and Architecture
- Computer Networks and Communications