Dr. Prof. Asadullah Shaikh received a B.Sc. degree in software development from the University of Huddersfield, England, an M.Sc. degree in software engineering and management from Goteborg University, Sweden, and a Ph.D. degree in software engineering from the University of Southern Denmark. He is currently working as a Professor, the Head of research and graduate studies, and the Coordinator of seminars and training with the College of Computer Science and Information Systems, Najran University, Najran, Saudi Arabia. He has more than 175 publications in the area of software engineering in international journals and conferences. He has vast experience in teaching and research. His current research topics are UML model verification, UML class diagrams verification with OCL constraints for complex models, formal verification, and feedback technique for unsatisfiable UML/OCL class diagrams. He has worked as a Researcher at UOC Barcelona, Spain. He is also the Editor of the International Journal of Advanced Computer Systems and Software Engineering (IJACSSE) and an International Advisory Board of several conferences and journals. Further details can be obtained via www.asadshaikh.com.
Dr. Prof. Asadullah Shaikh received a B.Sc. degree in software development from the University of Huddersfield, England, an M.Sc. degree in software engineering and management from Goteborg University, Sweden, and a Ph.D. degree in software engineering from the University of Southern Denmark. He is currently working as a Professor, the Head of research and graduate studies, and the Coordinator of seminars and training with the College of Computer Science and Information Systems, Najran University, Najran, Saudi Arabia. He has more than 175 publications in the area of software engineering in international journals and conferences. He has vast experience in teaching and research. His current research topics are UML model verification, UML class diagrams verification with OCL constraints for complex models, formal verification, and feedback technique for unsatisfiable UML/OCL class diagrams. He has worked as a Researcher at UOC Barcelona, Spain. He is also the Editor of the International Journal of Advanced Computer Systems and Software Engineering (IJACSSE) and an International Advisory Board of several conferences and journals. Further details can be obtained via www.asadshaikh.com.