There are many kinds of documentation: analysis documentation, design documentation,
interface documentation, internal program documentation, user-oriented documentation, ...
We focus on internal program documentation
Integrated documentation
Addresses the connection between program and documentation
Several possibilities will be explored
Our tools are probably useful in any situation, where there is a need to write about a program