To ensure the correctness of software systems via validation of requirements
.
Background
It is well known the earlier the detection of errors, the less expensive to fix the software systems. Hence, validation of requirements is a major field of research to ensure the correctness of software systems. Different techniques have been developed to validate requirements including formalisation of requirements, systematic methods of inspection, consistency checking of requirements.
Research Issues/Capabilities
The research is conducted by a team of internationally renowned researcher and postgraduate research students contributing expertise in a range of areas including inspection and consistency checking led by Prof. T. Y. Chen
