Last updated on Monday, October 06, 2025
@article{VanGorpIST2008,
author = {Pieter Van Gorp and Hans Schippers and Serge Demeyer and
Dirk Janssens},
journal = {Journal on Information and Software Technology},
month = dec,
note = {SCI impact factor 0.435, ranked 61 / 79},
number = {12},
pages = {1295-1304},
publisher = {Elsevier},
title = {Transformation Techniques can make Students excited
about Formal Methods},
volume = {50},
year = {2008},
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.},
annote = {internationaljournal},
doi = {10.1016/j.infsof.2008.03.003},
}