Library System Formal Specification

Team Structure

Project Manager/HTML

Geoff Dyment

Code Manager

Laura Meynberg

Testing Manager

Andrew Tang

Coders

Book Functions
Emad Sajwani
Harby Hayer

Borrower Functions
Dave Francis
Laura Meynberg

Transaction Functions
Dean Skelton
Amin Mahdavi

Testers

Andrew Tang
Geoff Dyment
Joel Klammer
Dan Boonstra
Pei-Ling Ng
Andy Teoh

Back to the Detailed Design Index