Atlassian JIRA has been used in many development shops to better track issues and use the latest and greatest Agile methodologies using the GreenHopper addon.
Often the Agile capabilities used by people who are missing the theoretical knowledge behind what is Kanban and Scrum.
This presentation includes a very short introduction to Kanban theory and methodology, concluding with how these theories are implemented in JIRA itself.