Abstract | ||
---|---|---|
Is it possible to excite students about learning the mathematical principles that underly high-quality software? Can we teach them to apply these principles using modern software tools? Can this be accomplished without displacing existing content? Yes! But it takes the right set of pedagogical principles, teaching tools, and classroom exercises. This hands-on laboratory will introduce a set of principles, tools, and exercises that work. Participants will be better prepared to teach students to reason rigorously about the software they develop and maintain. (laptop required) |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2016039.2016045 | ACM Southeast Regional Conference 2005 |
Keywords | DocType | Citations |
content module,teaching tool,underly high-quality software,modern software tool,pedagogical principle,mathematical reasoning fun,collaborative technique,reason rigorously,mathematical principle,hands-on laboratory,computation,formal methods,deployment,simulation,sensor network,testing,collaborative learning,formal method | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jason O. Hallstrom | 1 | 262 | 40.55 |
Murali Sitaraman | 2 | 270 | 40.99 |
Joe Hollingsworth | 3 | 0 | 1.69 |
Joan Krone | 4 | 77 | 12.64 |