Progressive quality checking of system requirements specification

This research proposes a progressive quality checking framework that automatically detects issues in software/system requirements. The quality checks are applied at the informal, semi-formal, and formal levels of requirements representation. The conducted experiments show the effectiveness of the developed approaches in preventing the propagation of quality issues from informal requirements into formal requirements.