Design Conformance Tools
Design conformance tools check a design against an implementation or an implementation against a design.
Most of these tools are in the research stage.
Examples: PatternLint (UIUC); Software Reflexion Models (Murphy et. Al., U. Wash)