Abstract | ||
---|---|---|
We describe an approach to teaching formal interface specifications using aspects of the Collaborative Reasoning Paradigm. The module requires students to construct test cases independently and cooperatively based on their understanding of a given set of method specifications. Students are supported by software-based reasoning assistants that guide them through their exercises and provide realtime feedback as they work --- both for the students and the instructor. We describe the design of the course module, the supporting reasoning assistant, and representative reasoning exercises. We conclude with a discussion of evaluation results from a recent pilot study conducted at Clemson University. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1508865.1509046 | Proceedings of the 46th ACM Technical Symposium on Computer Science Education |
Keywords | DocType | Volume |
contract programming,formal method,formal methods | Conference | 41 |
Issue | ISSN | Citations |
1 | 0097-8418 | 5 |
PageRank | References | Authors |
0.54 | 6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dana P. Leonard | 1 | 10 | 1.33 |
Jason O. Hallstrom | 2 | 262 | 40.55 |
Murali Sitaraman | 3 | 270 | 40.99 |