"Логический анализ функциональных диаграмм в процессе интерактивного проектирования информационных систем" - читать интересную книгу автора (Морозов А.А.)