Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Gerber: Implementation Model/Conceptual Model

First Model

Second Model

Name-Thesaurus

{commongerber, gerber,}
{circularinterpolation, fullcircularinterpolation,}
{quadrantinterpolation, quadrantcircularinterpolation,}
{x, xcoordinate,}
{y, ycoordinate,}
{flashposition, position,}
{startpoint, fromposition,}
{finishpoint, toposition, endpoint,}
{centreoffset, centerpoint,}

Experimental Results

The CCUS suffers quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).

Detailed results suppressed because the models are private.