An experimental investigation of formality in UMLbased development (2005)

by L Briand, Y Labiche, M Di Penta, H Yan-Bondoc
Venue:IEEE TSE