Engaging in Logical Code Reasoning with an Activity-Based Online - - PowerPoint PPT Presentation

▶
engaging in logical code reasoning with an activity based
SMART_READER_LITE
LIVE PREVIEW

Engaging in Logical Code Reasoning with an Activity-Based Online - - PowerPoint PPT Presentation

Apr 12, 2023 146 likes •338 views

Engaging in Logical Code Reasoning with an Activity-Based Online Tool Computer Science n School of Computing n Clemson University Jason O. Hallstrom (Florida Atlantic University) Joseph E. Hollingsworth (Rose-Hulman), Megan Fowler, Eileen T.

slide-1
SLIDE 1

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Jason O. Hallstrom (Florida Atlantic University) Joseph E. Hollingsworth (Rose-Hulman), Megan Fowler, Eileen T. Kraemer, and Murali Sitaraman (Clemson)

This research is funded in part by NSF grants CCF-1161916, DUE-1611714, DUE-1609718, and DUE-1610957

slide-2
SLIDE 2

School of Computing n Clemson University

Typical Code Reasoning

  • Involves running code on specific input

values and studying outputs

  • Provides limited understanding
slide-3
SLIDE 3

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE https://www.cs.clemson.edu/resolve/

slide-4
SLIDE 4

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Motivational Video: https://www.youtube.com/watch?v=ehIgP4hD_Ek&feature=youtu.be Begin to Reason Tool: https://resolve.cs.clemson.edu/beginToReason/section1dry Reason with Components Tool: https://resolve.cs.clemson.edu/teaching

slide-5
SLIDE 5

School of Computing n Clemson University

Online Logical Reasoning

  • Search Terms: Clemson RESOLVE
  • Motivational Video
  • Introduction to Symbolic Reasoning

with BeginToReason Tool

  • Reasoning with Activities

n Introductory Activities n Advanced Activities—Design By Contract n Advanced Activities—Loop Invariants

slide-6
SLIDE 6

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE Motivational Video: https://www.youtube.com/watch?v=ehIgP4hD_Ek&feature=youtu.be

slide-7
SLIDE 7

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE BeginToReason Tool: https://resolve.cs.clemson.edu/beginToReason/section1dry

slide-8
SLIDE 8

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE

This research is funded in part by NSF grants CCF-1161916, DUE-1611714, DUE-1609718, and DUE-1610957

slide-9
SLIDE 9

School of Computing n Clemson University

Finding the Tool

  • Search Terms: Clemson RESOLVE
slide-10
SLIDE 10

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE Reasoning with Components: https://resolve.cs.clemson.edu/teaching

slide-11
SLIDE 11

School of Computing n Clemson University

Selecting the Tool

  • Select tab Web IDE

n Select BeginToReason OR n Select Reasoning with Components

slide-12
SLIDE 12

School of Computing n Clemson University

Finding the Activities

  • Select Reasoning with Components

n Select Components Button n Select Programs in the Finder n Select Activity 101

slide-13
SLIDE 13

School of Computing n Clemson University

Reasoning Basics

  • A step by step description of reasoning

activity 101

slide-14
SLIDE 14

School of Computing n Clemson University

Reasoning Details

  • Additional Details of Reasoning about

Activity 101

slide-15
SLIDE 15

School of Computing n Clemson University

Design-By-Contract

  • An overview of reasoning activity 102
slide-16
SLIDE 16

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE

This research is funded in part by NSF grants CCF-1161916, DUE-1611714, DUE-1609718, and DUE-1610957

slide-17
SLIDE 17

School of Computing n Clemson University

Loop Invariant Activity

  • An overview of a reasoning activity

involving queue objects and loops

slide-18
SLIDE 18

School of Computing n Clemson University

Publications

  • ACM SIGCSE 2019 (Sat AM): Fowler, et al.,

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool

  • ACM ITiCSE 2019: Cook, et al., Where Exactly

Are the Difficulties in Reasoning Logically about Code? Experimentation with an Online System

  • ACM ECSEE 2018: Kraemer, et al., An Activity‐

Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning

slide-19
SLIDE 19

Computer Science n School of Computing n Clemson University

Engaging in Logical Code Reasoning with an Activity-Based Online Tool

Search Terms: Clemson RESOLVE Go to Tab: Web IDE

This research is funded in part by NSF grants CCF-1161916, DUE-1611714, DUE-1609718, and DUE-1610957