46 search results - page 1 / 10 » Automatic Coding Rule Conformance Checking Using Logic Progr... |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
ICLP
2007
Springer
13 years 8 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...