Transformation techniques can make students excited about formal methods

Authors:
P. Van Gorp;H. Schippers;S. Demeyer;D. Janssens
Affiliations:
Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, 2020 Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, 2020 Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, 2020 Antwerp, Belgium;Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, 2020 Antwerp, Belgium
Venue:
Information and Software Technology
Year:
2008

Citing 8
Cited 0

Use case driven object modeling with UML: a practical approach

Use case driven object modeling with UML: a practical approach
Support for teaching formal methods

Working group reports from ITiCSE on Innovation and technology in computer science education
Seven Myths of Formal Methods

IEEE Software
Seven More Myths of Formal Methods

IEEE Software
Generation of visual editors as eclipse plug-ins

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Improving software practice through education: Challenges and future trends

FOSE '07 2007 Future of Software Engineering
A Technique for Using Model Checkers to Teach Formal Specifications

CSEET '08 Proceedings of the 2008 21st Conference on Software Engineering Education and Training

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods have always been controversial. In spite of the fact that the disbelief about their usefulness has been corrected by a growing number of applications and even more publications, it remains a challenge to demonstrate the strengths and weaknesses of formal methods within the time constraints of a typical semester course. This article reports on a new course at the University of Antwerp in which the introduction of a new formalism yields a better understanding of previously taught ones. While the exercises are designed to reveal the limitations of the formalisms used, students remain convinced that their formal models have more value than conventional source code.