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

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
JournalAustralian Computer Journal
Issue number1
Publication statusPublished - 2000
Externally publishedYes


  • Formal methods
  • Software engineering education

ASJC Scopus subject areas

  • Management of Technology and Innovation


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