Formalizing Requirements - Making Rules Testable

Supporting quality, compliance and traceability