Title	Transformation of Class Diagrams into Formal Specification
Author	Nazir Ahmad Zafar, Fahad Alhumaidan
Citation	Vol. 11  No. 5  pp. 289-295
Keywords	UML, Class diagrams, Formal methods, Z notation, Integration, Validation

Title	Hints-based Approach for UML Class Diagrams
Author	Sehrish Abrejo, Amber Baig, Adnan Asghar Ali, Mutee U Rahman, and Aqsa Khoso
Citation	Vol. 23  No. 7  pp. 9-15
Keywords	Software Modeling, Unified Modeling Language, Class diagrams, ill-defined domain.

Title	Hints based Approach for UML Class Diagrams
Author	Sehrish Abrejo, Amber Baig, Adnan Asghar Ali, Mutee U Rahman, and Aqsa Khoso
Citation	Vol. 24  No. 6  pp. 180-186
Keywords	.Software Modeling, Unified Modeling Language, Class diagrams, ill-defined domain.