Semantic enrichment of design requirements using Object Type Libraries for automated verification: Towards automated requirements verification system

Success of the project depends on compliance to requirements amongst other things (Wheeler, 2003). This forms Requirements Management process an important step in the Systems Engineering life cycle. However, poor definition of requirements is an obstacle in automating the verification process. The existing solutions based on various approaches...