This Case Study is provided as support material for the Braude textbook Software Engineering.
The materials below are available on the publisher's web site.

Software Requirements Specification

Source Code

Link to JD's home page