Lab Assignments

Week    Source 
08/25   Lab 1: Latex, and xfig (postscript)

        Lab 1: HTML (postscript)

09/01   Lab 2: RapidApps Tutorial (postscript)

09/08   Lab 3: RapidApps and VkEZ (postscript)

09/15   Lab 4: Object Model and VisualSpec (postscript)

09/23   Lab 5: Dynamic Model and VisualSpec (postscript)

09/29   Lab 6: Functional Model and VisualSpec (postscript)

10/6   Lab 7: Specifications and Prototype Verification System (PVS)  (postscript)

10/13   Lab 8: Showcase  (postscript)

10/13   Lab 8: Revision Control System (RCS)  (postscript)

10/20   Lab 9: FLEX (Fast Lexical Analyzer Generator) (postscript)

10/27   Lab 10: Bison (postscript)

11/10   Lab 11: CosmoCode  (postscript)

11/17   Lab 12: Animated Tutorial with Showcase  (postscript)

Lab Notes

Week      Source 
08/25     Lab 1: Latex and HTML

Lab 1: Latex Basics and xfig

Lab 1: More Latex

Latex Sample Document

Latex and Figures Sample Document

HTML Basics

09/01     Lab 2: RapidApps Basic Information

09/08     Lab 3: RapidApps and VkEZ

09/23   Lab 5: Dynamic Model and visualSpec (postscript) (gzipped)

09/29   Lab 6: Functional Model and visualSpec (postscript) (gzipped)

10/06   Lab 7: Prototype Verification System (PVS) (postscript)

10/06   Lab 7: PVS Example

10/13   Lab 8: Showcase Startup Information

10/13   Lab 8: Showcase Demo Slides

10/13   Lab 8: RCS Notes

10/20   Lab 9: Flex Notes

10/27   Lab 10: Bison Notes

11/10   Lab 11: Cosmocode Start-up Notes

11/17   Lab 12: Power Point Notes

Week  Source
08/25  Homework Assignment shown in Latex Format
08/25  Homework Assignment shown in Postscript Format