Preliminary Program
Class Dates: October 9 (Tuesday) - 12 (Friday)
Class Location: National Institute of Aerospace, Hampton, VA
| DAY 3 • Thursday • October 11 | |||
| Time | Lecture | Instructor | |
|---|---|---|---|
| 8:30 | 9:15 | Exercise 6 (Part II) | |
| 9:15 | 10:00 | Induction, Recursion, and Iteration | César Muñoz |
| 10:00 | 10:05 | Break | |
| 10:05 | 11:05 | Exercise Set 7 | |
| 11:05 | 11:50 | Abstract Datatypes | Alwyn Goodloe |
| 11:50 | 1:20 | Lunch | |
| 1:20 | 1:50 | Exercise Set 8 | |
| 1:50 | 2:35 | Theory Interpretations | Sam Owre |
| 2:35 | 3:05 | Animation of Functional Specifications | César Muñoz |
| 3:05 | 3:10 | Break | |
| 3:10 | 3:40 | Computational Reflection | Anthony Narkawicz |
| 3:40 | 4:10 | Proof Scripting and Strategy Writing | César Muñoz |
| 4:10 | 4:15 | Break | |
| 4:15 | 5:00 | Exercise Set 9 | |
NASA Official: César Muñoz
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
Last Updated:
May 14, 2012
