Panel: Engage in Reasoning with Tools
Authors: 
Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. WeideAuthors Info & Claims
Pages 160 - 161
Abstract
A central goal of computer science education is to teach students how to reason about the correctness of the code they write. Typically, students use a trial and error process and check that their logic "works" by running it on test inputs. Typically, instructors encour-age them towards logical reasoning through manual tracing of the code. Rarely reasoning tools are used in the process, at least partly because few instructors are familiar with them and fewer have the time to investigate and experiment. The purpose of this panel is to introduce the attendees to a variety of reasoning tools the presenters have used in their classrooms. In some cases, the tools have been used in only one or two classes of a course to illustrate specific points. In other cases, entire projects have been done using the tools. The courses range from the introductory sequence and dis-crete structures to software engineering and graduate-level courses. The tools are freely available on the web and attendees will be encouraged to experiment with the reasoning tools on their own laptops to solve simple reasoning problems.
References
[1]
Sitaraman, M., Adcock, B., Avigad, J., Bronish, D., Bucci, P., Frazier, D., Friedman, H.M., Harton, H., Heym, W., Kirschenbaum, J., Krone, J., Smith, H., and Weide, B.W., "Building a Push-Button RESOLVE Verifier: Progress and Challenges," Formal Aspects of Computing 23, 2011, 607--626.
[2]
Cook, C.T., Harton, H.K., Smith, H., and Sitaraman, M., "Specification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler," Proc. 34th International Conference on Software Engineering, IEEE/ACM, 2012, 1379--1382.
[3]
Drachova,S. V., Hallstrom, J. O., Hollingsworth,J. E., Krone, J., Pak, R., and Sitaraman, M. 2015. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Computing Education 15, 3, Article 15 (August 2015), 22 pages. DOI=10.1145/2716316 http://doi.acm.org/10.1145/2716316
[4]
Cook, C.T., Drachova, S. V., Sun, Y-S., Sitaraman, M., Carver, J., and Hollingsworth, K. E., "Specification and Reasoning in SE Projects Using a Web-IDE," Proc. 26th Conference on Software Engineering Education and Training, IEEE, 2013.
[5]
Fahndrich, M., Barnett, M., Leijen, D., and Logozzo, F, "Integrating a Set of Contract Checking Tools into Visual Studio," Procs. Second International Workshop on Developing Tools as Plug-ins (TOPI 2012), IEEE, 2012.
[6]
Liskov, B. and Guttag, J., Program Development in Java, Pearson, 2000.
[7]
Dafny Tutorial, http://rise4fun.com/Dafny/tutorial (5 Sept 2014)
[8]
Baldwin, D., "Math-thinking-l -- Mathematical reasoning in CS curricula", at: http://mail.geneseo.edu/mailman/listinfo/math-thinking
Index Terms
- Panel: Engage in Reasoning with Tools
Recommendations
Special session: engaging mathematical reasoning exercises
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science educationSIGCSE has for a long time nourished an audience excited about teaching mathematical reasoning principles across the curriculum through the Math Thinking Birds-of-a-Feather session and panels on mathematical reasoning. While these forums are useful for ...
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science educationProgram correctness is central to computing, with instructors striving to convey the importance of getting it right starting in CS1. Teaching this material carefully demands a uniform framework to specify, implement, and reason about software ...
Panel: Teaching To Increase Diversity and Equity in STEM
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationTIDES (Teaching to Increase Diversity and Equity in STEM) is a three-year initiative to transform colleges and universities by changing what STEM faculty, especially CS instructors, are doing in the classroom to encourage the success of their students, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
February 2016
768 pages
ISBN:9781450336857
DOI:10.1145/2839509
- General Chairs:
- Carl Alphonce,
- Jodi Tims,
- Program Chairs:
- Michael Caspersen,
- Stephen Edwards
Copyright © 2016 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 17 February 2016
Check for updates
Author Tags
Qualifiers
- Panel
Funding Sources
Conference
SIGCSE '16
Sponsor:
SIGCSE '16: The 47th ACM Technical Symposium on Computing Science Education
March 2 - 5, 2016
Tennessee, Memphis, USA
Acceptance Rates
SIGCSE '16 Paper Acceptance Rate 105 of 297 submissions, 35%;
Overall Acceptance Rate 1,595 of 4,542 submissions, 35%
Upcoming Conference
SIGCSE TS 2025
- Sponsor:
- sigcse
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 282Total Downloads
- Downloads (Last 12 months)57
- Downloads (Last 6 weeks)23
Reflects downloads up to 12 Dec 2024
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in