Dr. Andrew Broad
Computer Science
PhD Project
Experimental Results

Thesauri

All experiments use the following frame-class-thesaurus:

{entitytype, definedtype, enumerationsymbol,}

Each experiment uses the following name-thesaurus unless otherwise specified:

{man, male,}
{woman, female,}

The Experiments

The Comparative Code-Understanding System has been run on the following pairs of models (all zipped - see index.html in each one):

1. Optional/Mandatory Attribute
2. Aligning an Expression with a Subexpression
3. Semantic Equivalence
4. Semantic Strength
5. Mandatory Attribute/EXISTS
6. Range Constraints
7. Mandatory One-or-More/Optional Zero-Or-More
8. Gender by Enumeration or Subtypes
9. Propagation of Constraints
10. Course World
11. Mr. Jones's Garden: Simple Solution/Complex Solution 1
12. Mr. Jones's Garden: Complex Solution 1/Complex Solution 2
13. AP232
14. MPhil/PhD Frame-Class Models
15. Gerber: Syntax Model/Implementation Model
16. Gerber: Implementation Model/Conceptual Model
17. EDIF 3 0 0 / CFI DR
18. Gerber/SVG
19. Mr. Jones's Garden flattened up