An experimental investigation of formality in UML-based development (2005)

by L C Briand, Y Labiche, M D Penta, H D Yan-Bondoc
Venue:IEEE Transactions on Software Engineering