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