Ну... Диаграмки это хорошо) Но не совсем то:)
Пока доксиджен и юзаю, другого все равно не знаю. С другой стороны, нашел в нем возможность custom commands создавать:) Так наверно и буду выкручиваться. Будут у меня и \requires, и \modifies, и \effects.