A UML Class Diagram Analyzer Tiago Massoni Rohit Gheyi Paulo Borba Software Productivity Group Informatics Center â UFPE October 2004 UML and Critical Systems UML Growing…