Incorporating Domain Knowledge into Pattern-based Requirements Engineering for Improved Quality Assurance and System Verification

This approach integrates domain knowledge into pattern-based requirements engineering to enable automated quality assurance and support system verification through defect-based testing.