A visualization system of source codes using FOL.
Min-Jung BaeJeong-Hoon JiGyun WooPublished in: CIT (2008)
Keyphrases
- source code
- open source
- change impact analysis
- software systems
- software projects
- open source software
- knowledge representation
- first order logic
- visualization tool
- data analysis
- software maintenance
- static analysis
- programming course
- inference rules
- data visualization
- theorem proving
- data mining
- software repositories
- root cause analysis
- knowledge base