Metrics for Project Management (Formalized Approaches)