An Innovative Model Driven Formalization of the Class Diagrams Topics: Business and Software Modeling Languages; Formal Methods; Model-Driven Engineering; Software Development Methodologies; Software Process Improvement In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 134-145, 2009 , Milan, Italy