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

Fingerprint

Formal methods
Education
Industry
Curricula
Software engineering
Flavors
Engineering education
Survivors
Engineers

Keywords

  • Formal methods
  • Software engineering education

ASJC Scopus subject areas

  • Management of Technology and Innovation

Cite this

Pet formalisms versus industry-proven survivors : Issues on formal methods education. / Cha, Sungdeok.

In: Australian Computer Journal, Vol. 32, No. 1, 01.12.2000, p. 39-45.

Research output: Contribution to journalArticle

@article{de30ad14b75f4cb48abe5dcefbc5d1dd,
title = "Pet formalisms versus industry-proven survivors: Issues on formal methods education",
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",
keywords = "Formal methods, Software engineering education",
author = "Sungdeok Cha",
year = "2000",
month = "12",
day = "1",
language = "English",
volume = "32",
pages = "39--45",
journal = "Journal of Research and Practice in Information Technology",
issn = "1443-458X",
publisher = "Australian Computer Society",
number = "1",

}

TY - JOUR

T1 - Pet formalisms versus industry-proven survivors

T2 - Issues on formal methods education

AU - Cha, Sungdeok

PY - 2000/12/1

Y1 - 2000/12/1

N2 - 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

AB - 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

KW - Formal methods

KW - Software engineering education

UR - http://www.scopus.com/inward/record.url?scp=28844463564&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=28844463564&partnerID=8YFLogxK

M3 - Article

VL - 32

SP - 39

EP - 45

JO - Journal of Research and Practice in Information Technology

JF - Journal of Research and Practice in Information Technology

SN - 1443-458X

IS - 1

ER -