Consistency checks of design specifications against requirements using graph-based linguistic analysis.

Kai Niklas, Stefan Grtner, Kurt Schneider

Browse the full SAC paper archive.