Software systems have experienced an impressive growth in the last few decades
and have impacted a wide variety of areas. In this respect, two elds bene t greatly.
Learning and research. In this work, we present several software systems that we
have created to assist in the process of learning and to help researchers by performing
complex computations and generating data. We demonstrate three web-based educational
video games that we developed to teach science to middle school students. We
also describe several software systems that we created for research in graph theory and
model checking. Finally, we discuss our results, contributions and future directions. / Educational perspectives -- Graph algorithms and their applications -- E-learning -- Model checking. / Educational perspectives -- Graph algorithms and their applications -- E-learning -- Model checking. / Department of Computer Science
Identifer | oai:union.ndltd.org:BSU/oai:cardinalscholar.bsu.edu:123456789/193455 |
Date | January 2009 |
Creators | Heinz, Adrian. |
Contributors | Bagga, Jay |
Source Sets | Ball State University |
Detected Language | English |
Format | vi, 136, 6 p. : digital, PDF file, ill. (some col.) + 1 zip file (2361 Kb) + 1 electronic text (1592 bytes) + 1 CD-ROM (4 3/4 in.). |
Source | CardinalScholar 1.0 |
Page generated in 0.0014 seconds