Pet formalisms versus industry-proven survivors: Issues on formal methods education

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 languageEnglish
Pages (from-to)39-45
Number of pages7
JournalJournal of Research and Practice in Information Technology
Volume32
Issue number1
Publication statusPublished - 2000

Keywords

  • Formal methods
  • Software engineering education

ASJC Scopus subject areas

  • Software
  • Management Information Systems
  • Information Systems
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Pet formalisms versus industry-proven survivors: Issues on formal methods education'. Together they form a unique fingerprint.

  • Cite this