Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Paschke, A. 
Titel:
The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Dynamic Update Logic Programs and Rule Markup Languages (RuleML) 
Stichworte:
Forschungsbericht 
Beauftragende Einrichtung:
Technische Universiẗat M̈unchen, Chair of internet-based Information Systems 
Jahr:
2005 
Monat:
October, 2005