Software specifications metrics: a quantitative approach to assess the quality of documents | IEEE Conference Publication | IEEE Xplore