Lectures | CSCI 5828 — Spring 2009 | Kenneth M. Anderson http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/ en Thu, 23 Apr 2009 10:29:24 -0600 http://blogs.law.harvard.edu/tech/rss Sandvox Pro 1.6.1 Lecture 27: Dealing with Bugs http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/27-bugs.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/27-bugs001.png" alt="Lecture 27: Dealing with Bugs" width="128" height="96" /> </div> <div></div> Thu, 23 Apr 2009 10:26:11 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/27-bugs.pdf Lecture 26: Alternative Approaches to Concurrency http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/26-alternativeconcurrency.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/26-alternativeconcurrency00.png" alt="Lecture 26: Alternative Approaches to Concurrency" width="128" height="96" /> </div> <div></div> Thu, 23 Apr 2009 10:25:32 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/26-alternativeconcurrency.pdf Lecture 25: The Next Iteration http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/25-thenextiteration.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/25-thenextiteration001.png" alt="Lecture 25: The Next Iteration" width="128" height="96" /> </div> <div></div> Wed, 15 Apr 2009 08:36:21 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/25-thenextiteration.pdf Lecture 24: Ending an Iteration http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/24-endinganiteration.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/24-endinganiteration001.png" alt="Lecture 24: Ending an Iteration" width="128" height="96" /> </div> <div></div> Tue, 14 Apr 2009 11:58:23 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/24-endinganiteration.pdf Lecture 23: Model-Based Design http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/23-modeldesign.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/23-boilerplate001.png" alt="Lecture 23: Model-Based Design" width="128" height="96" /> </div> <div></div> Tue, 07 Apr 2009 22:11:04 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/23-modeldesign.pdf Lecture 22: Safety & Liveness Properties http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/22-safetyliveness.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/22-boilerplate001.png" alt="Lecture 22: Safety & Liveness Properties" width="128" height="96" /> </div> <div></div> Thu, 02 Apr 2009 21:39:50 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/22-safetyliveness.pdf Lecture 21: Test-Driven Development http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/21-tdd.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/21-tdd001.png" alt="Lecture 21: Test-Driven Development" width="128" height="96" /> </div> <div></div> Tue, 31 Mar 2009 21:24:00 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/21-tdd.pdf Lecture 20: Deadlock http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/20-deadlock.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/20-boilerplate001.png" alt="Lecture 20: Deadlock" width="128" height="96" /> </div> <div></div> Tue, 31 Mar 2009 21:23:18 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/20-deadlock.pdf Lecture 19: Testing http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/19-testing.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/19-testing001.png" alt="Lecture 19: Testing" width="128" height="96" /> </div> <div></div> Thu, 26 Mar 2009 09:32:24 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/19-testing.pdf Lecture 18: Build Management http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/18-buildmanagement.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/18-buildmanagement001-2.png" alt="Lecture 18: Build Management" width="128" height="96" /> </div> <div></div> Sun, 15 Mar 2009 15:45:10 -0600 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/18-buildmanagement.pdf Lecture 13: Version Control http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/13-versioncontrol.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/13-versioncontrol001-2.png" alt="Lecture 13: Version Control" width="128" height="96" /> </div> <div></div> Tue, 24 Feb 2009 21:04:02 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/13-versioncontrol.pdf Lecture 12: Monitors & Condition Synchronization http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/12-monitors.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/12-boilerplate001-2.png" alt="Lecture 12: Monitors & Condition Synchronization" width="128" height="96" /> </div> <div></div> Fri, 20 Feb 2009 09:35:47 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/12-monitors.pdf Lecture 11: Good Enough Design http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/11-goodenoughdesign.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/11-goodenoughdesign001-2.png" alt="Lecture 11: Good Enough Design" width="128" height="96" /> </div> <div></div> Tue, 17 Feb 2009 22:53:04 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/11-goodenoughdesign.pdf Lecture 10: Shared Objects & Mutual Exclusion http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/10-sharedobjects.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/10-boilerplate001-2.png" alt="Lecture 10: Shared Objects & Mutual Exclusion" width="128" height="96" /> </div> <div></div> Thu, 12 Feb 2009 16:18:50 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/10-sharedobjects.pdf Lecture 9: User Stories and Tasks http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/09-userstoriesandtasks.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/09-userstoriesandtasks001.png" alt="Lecture 9: User Stories and Tasks" width="128" height="96" /> </div> <div></div> Wed, 11 Feb 2009 11:00:37 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/09-userstoriesandtasks.pdf Lecture 8: Concurrent Execution http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/08-concurrentexecution.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/08-boilerplate001-2.png" alt="Lecture 8: Concurrent Execution" width="128" height="96" /> </div> <div></div> Sat, 07 Feb 2009 16:48:22 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/08-concurrentexecution.pdf Lecture 7: Project Planning http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/07-projectplanning.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/07-projectplanning001-2.png" alt="Lecture 7: Project Planning" width="128" height="96" /> </div> <div></div> Sat, 07 Feb 2009 16:47:45 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/07-projectplanning.pdf Lecture 6: Processes & Threads http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/06-processesthreads.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/06-boilerplate001-2.png" alt="Lecture 6: Processes & Threads" width="128" height="96" /> </div> <div></div> Fri, 30 Jan 2009 10:22:14 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/06-processesthreads.pdf Lecture 5: Gathering Requirements http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/05-gatheringrequirements.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/05-gatheringrequirements0-2.png" alt="Lecture 5: Gathering Requirements" width="128" height="96" /> </div> <div></div> Wed, 28 Jan 2009 20:00:01 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/05-gatheringrequirements.pdf Lecture 4: Introduction to Concurrency http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/04-introconcurrency.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/04-introconcurrency001-2.png" alt="Lecture 4: Introduction to Concurrency" width="128" height="96" /> </div> <div></div> Thu, 22 Jan 2009 15:57:23 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/04-introconcurrency.pdf Lecture 3: Pleasing Your Customer http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/03-pleasingyourcustomer.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/03-pleasingyourcustomer00-2.png" alt="Lecture 3: Pleasing Your Customer" width="128" height="96" /> </div> <div></div> Tue, 20 Jan 2009 15:29:34 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/03-pleasingyourcustomer.pdf Lecture 2: No Silver Bullet http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/02-nosilverbullet.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/02-nosilverbullet001-2.png" alt="Lecture 2: No Silver Bullet" width="128" height="96" /> </div> <div></div> Fri, 16 Jan 2009 10:21:02 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/02-nosilverbullet.pdf Lecture 1: Course Overview http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/01-overview.pdf <div class="article-thumbnail"> <img src="http://www.cs.colorado.edu/~kena/classes/5828/s09/_Media/01-overview001-2.png" alt="Lecture 1: Course Overview" width="128" height="96" /> </div> <div></div> Wed, 14 Jan 2009 10:11:20 -0700 http://www.cs.colorado.edu/~kena/classes/5828/s09/lectures/01-overview.pdf