1 / 9

Verifying Preconditions

Join us for a session on verifying preconditions in code. Participate in a quiz, Q&A session, and think-pair-share discussion. Engage in a hands-on lab activity to practice writing precondition verification code. Don't miss out on upcoming assignments and deadlines!

stouffer
Download Presentation

Verifying Preconditions

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Oct 4th, 2019 Verifying Preconditions

  2. Agenda • Preliminaries (8:30-8:35) • Quiz (8:35-8:45) • Homework Questions (8:45-9:00) • Preconditions Discussion (9:00-9:10) • Lab (9:10-9:45) • Wrap-up (9:45-9:50)

  3. Preliminaries (8:30-8:35) • Welcome visitors! • Peer Support Events? • Upcoming Work: • Assignment 5 due Tuesday at 10:30pm • Wednesday’s lab write-up due tonight at 10:30pm • Today’s lab write-up due Monday at 10:30pm • Reading for Monday • Exam 2 goes live on Wednesday

  4. Quiz (8:35-8:45)

  5. Homework Questions (8:45-9:00) • Questions and Answers Here

  6. Preconditions Discussion (9:00-9:10) • Think-pair-share: • Why would we write code for preconditions?

  7. Preconditions Discussion (9:00-9:10) • With your partner, write the precondition verification husk for “palindrome?”

  8. Lab Time (9:10-9:45) • Person closest to the front starts as driver

  9. Wrap-up (9:45-9:50) • Lab writeup: Exercise 7 Checking Preconditions (Submit husk and sample inputs) • Upcoming Work Reminders: • Assignment 5 due Tuesday at 10:30pm • Wednesday’s lab write-up due tonight at 10:30pm • Today’s lab write-up due Monday at 10:30pm • Reading for Monday • Exam 2 goes live on Wednesday

More Related