23 search results - page 5 / 5 » Teaching Formal Methods: Lessons to Learn |
SIGCSE
2002
ACM
13 years 5 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
VG
2001
13 years 6 months ago
2001
The proper usage and creation of transfer functions for time-varying data sets is an often ignored problem in volume visualization. Although methods and guidelines exist for time-i...
DIAGRAMS
2008
Springer
13 years 7 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...