1. Outline
2. Different Technical used in Code Check Tool
   1. Model Checking
   2. Syntactic Pattern Matching
   3. Data flow Analysis
   4. Type Systems
3. Different Code Check Tool
   1. Findbugs
   2. PMD
   3. Other
      1. JLint
      2. Bandera Set
      3. ESC/Java
4. Findbugs
   1. Overview
   2. User
   3. How to use Findbugs
      1. Eclipse
         1. View Result
         2. Install and Run
      2. GUI
         1. Run, Browse and Save
         2. Create Project
      3. Ant
   4. Other Feature
      1. Filter Files
      2. Analysis Properties
      3. Annotations
5. PMD
   1. Basic
   2. News in latest version
   3. Use PMD in Eclipse
6. Paper Introduction
7. Useful Code Habit
8. Introduce XMind
   1. What is XMind?
   2. XMind User
      1. Meeting Organizers
      2. Project Managers
      3. Architects
      4. Designers
      5. Teacher or Trainer
   3. Outline Demo
   4. Flow Chart Demo
   5. Export Format
      1. XMind
      2. XMind Pro