A data definition is missing.
A data definition is incorrect.
A data definition is unclear.
A data definition is contradictory.
A data definition is out of order.
A shared-data access control is missing.
A shared-data access control is incorrect.
A shared-data access control is out of order.
A logic sequence is missing.
A logic sequence is superfluous.
A logic sequence is incorrect.
A logic sequence is out of order.
An input check is missing.
An input check is superfluous.
An input check is incorrect.
An input check is out of order.
An output definition is missing.
An output definition is superfluous.
An output definition is incorrect.
An output definition is out of order.
A special-condition handler is missing.
A special-condition handler is superfluous.
A special-condition handler is incorrect.
A special-condition handler is out of order.
An assumption about the user is invalid.
A specification item is missing.
A specification item is superfluous.
A specification item is incorrect.
A specification item is unclear.
Specification items are out of order.
An assumption about collateral software is invalid.
A specification item is missing.
A specification item is superfluous.
A specification item is incorrect.
A specification item is unclear.
Specification items are out of order.
An assumption about the hardware is invalid.
A specification item is missing.
A specification item is superfluous.
A specification item is incorrect.
A specification item is unclear.
Specification items are out of order.