CpSc 828 -- Lightweight Formal Methods
Projects: Z specifications
| Home |
|---|
| Publications |
| Vita |
| Projects |
| SE Seminar |
| Links |
| Personal |
Please direct any feedback to: malloy@cs.clemson.edu
All projects have been syntax checked with fuzz
The Projects:
Z Specifications:
| Paul Shealy | (#1) Queue, Priority Queue |
| Siva Kishore Asapu | (#1) Queue, Priority Queue |
| Eric Cyr | (#1) Queue, Priority Queue |
| Ed Duffy | (#2) Stack, Queue, Priority Queue |
| Charlie Shi | (#2) Stack, Queue, Priority Queue |
| Wei Chen | (#3) Fishing Game |
| Zhenyu Xu | (#4) Movie Store |
| Nick Glover | (#4) DVD Movie Rental |
| Gerd Marmitt | (#4) DVD Movie Rental |
| Barr Von Oehsen | (#5) Binary Tree |
| Nell & Laura | The Pub |
| Tanton Gibbs | Validating Class Invariants |
![[Valid HTML 4.0!]](images/vh40.gif){kind=small}
Send comments to
malloy@cs.clemson.edu
Last updated on 4 August 2001
Last updated on 4 August 2001