An Experimental Investigation of Formality in UML-Based Development