Софт для моделирования

Калинина В. - Надежность и эффективности АИС
Методология структурного проектирования SADT
Методология проектирования SADT