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