Panel
| Autor: | Nigamanth Sridhar, Bruce W. Weide, Murali Sitaraman, Gregory Kulczycki |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Correctness
Computer science business.industry Process (engineering) Logical reasoning 020207 software engineering 0102 computer and information sciences 02 engineering and technology Design by contract 01 natural sciences Variety (cybernetics) Test (assessment) 010201 computation theory & mathematics ComputingMilieux_COMPUTERSANDEDUCATION 0202 electrical engineering electronic engineering information engineering Software engineering business |
| Zdroj: | SIGCSE |
| DOI: | 10.1145/2839509.2844657 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|