Quality evaluation of natural language software requirements: methods, techniques and tools

In this Ph.D. thesis the original results achieved by Giuseppe Lami in his doctoral course are collected. The objective of this thesis is to define methods, techniques and tools for the analysis of natural language requirements. First, a method to systematically evaluate the quality of natural language requirements is described along with a tool able to make this evaluation automatic. Then a method to verify the conformance of product-specific Use Cases to the Software Product Line constraints is also described. This method is based on a extention of the Use Case formalism to make it suitable to represent the variabilities of a Software Product Line.