Not software engineering, but we (big corp) use IBM DOORs [0]. It's not the most intuitive, but the concept is you define feature requirements which cascade down to requirements in sub-levels.

[0] http://www-03.ibm.com/software/products/en/ratidoor