Accès à distance ? S'identifier sur le proxy UCLouvain
Diagnosing and correcting design inconsistencies in source code with logical abduction
Primary tabs
Document type | Article de périodique (Journal article) – Article de recherche |
---|---|
Access type | Accès restreint |
Publication date | 2010 |
Language | Anglais |
Journal information | "Science of Computer Programming" - Vol. 76, no. 12, p. 1113-1129 (2011) |
Peer reviewed | yes |
Publisher | Elsevier BV ((Netherlands) Amsterdam) |
issn | 0167-6423 |
e-issn | 1872-7964 |
Publication status | Publié |
Affiliations |
UCL
- SST/ICTM/INGI - Pôle en ingénierie informatique Vrije Universiteit Brussel, Vrije Universiteit Brussel |
Keywords | Inconsistency management ; Abductive reasoning ; Logic meta programming ; 1162 |
Links |
Bibliographic reference | Castro Mejia, Sergio ; De Roover, Coen ; Kellens, Andy ; Lozano Rodriguez, Angela ; Mens, Kim ; et. al. Diagnosing and correcting design inconsistencies in source code with logical abduction. In: Science of Computer Programming, Vol. 76, no. 12, p. 1113-1129 (2011) |
---|---|
Permanent URL | http://hdl.handle.net/2078.1/91166 |