Does Increasing Formalism in the Use Case Template Help?