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) - HTML element - Document - PDFSEARCH.IO

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 List Source URL: rbsla.ruleml.org Download Document from Source Website File Size: 678,76 KB Share Document on Facebook