First Page | Document Content | |
---|---|---|
Date: 2013-12-20 11:58:09 | The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)Add to Reading ListSource URL: rbsla.ruleml.orgDownload Document from Source WebsiteFile Size: 678,76 KBShare Document on Facebook |