labs
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| labs [2015/06/04 19:59] – jackie | labs [2015/06/08 00:20] (current) – jackie | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| [[https:// | [[https:// | ||
| + | |||
| + | - [[https:// | ||
| + | - [[https:// | ||
| + | - [[https:// | ||
| === Week 2 (May 28) === | === Week 2 (May 28) === | ||
| Line 18: | Line 22: | ||
| === Week 1 (May 21) === | === Week 1 (May 21) === | ||
| - | Exercise 1 | + | - Exercise 1 |
| - | * Follow closely with: | + | * Follow closely with: |
| - | - [[https:// | + | - [[https:// |
| - | - [[https:// | + | - [[https:// |
| - | - [[https:// | + | - [[https:// |
| - | + | | |
| - | Exercise 2: | + | * Download and unzip a version of the [[https:// |
| - | * Download and unzip a version of the [[https:// | + | * Compile the project. |
| - | * Compile the project. | + | * Run Workbench System (described above) |
| - | * Run Workbench System (described above) | + | * All tests should fail! |
| - | * All tests should fail! | + | * This is because the implementation and contracts (pre- and post-condition, |
| - | * This is because the implementation and contracts (pre- and post-condition, | + | * Complete all the missing implementations and contracts. |
| - | * Complete all the missing implementations and contracts. | + | * Use breakpoints and the debugger to identify the bugs, if any. |
| - | * Use breakpoints and the debugger to identify the bugs, if any. | + | * Repeat until you can pass all tests. |
| - | * Repeat until you can pass all tests. | + | |
labs.1433447954.txt.gz · Last modified: by jackie
