In this paper we present a light-weight approach for
the automatic verification of requirements. This approach
is not based on natural language parsing techniques but
on the representation of requirements in XML. In our approach,
XSLT stylesheets are used not only to automatically
generate requirements documents, but also to provide
verification–oriented heuristics as well as to measure the
quality of requirements using some verification–oriented
metrics. These ideas have been implemented in REM, an experimentalXML–
based requirements management tool also
described in this paper.