Supporting Documentation for the 2003 SPS-Prospec Experiment

In spring of 2003 an empirical study was conducted to compare the effectiveness of the Prospec tool with the Specification Pattern System (SPS). The objective of the experiment was to determine the effect that Prospec and SPS have over the completeness and correctness of the generated software property specifications. The purpose of this document is to present the material that was used during the experiment, and to document how the classification of the patterns and scopes of each trial was validated