any tools used to help with analysis.
any tools used to help with analysis.
tools that enable automatic checking for incomplete, inconsistent, or incorrect specifications in diagrams, forms, and reports.