Thanks. Yeah, there's a fairly large number of formal management techniques, but like you said, they're very rarely used.

PERT: https://en.wikipedia.org/wiki/Program_evaluation_and_review_...

Barry Boehm's recent work:

http://www.amazon.com/Incremental-Commitment-Spiral-Model-Pr...