Jose Luis Fernandez Aleman is a Professor in the Department of Computer Science and Systems Engineering at the Faculty of Informatics, Universidad de Murcia. His research focuses on Software Engineering, Formal Methods, and Unified Modeling Language (UML) modeling. He earned his PhD from Universidad de Murcia in 2002 with the thesis Una propuesta de formalización de la arquitectura en cuatro capas de UML , supervised by Dr. José Ambrosio Toval Álvarez. Research Group: Software Engineering (formerly part of Ingenieria del Software). Research Interests Dr. Aleman specializes in formalizing software architectures and UML evolution, with applications in systems engineering and object-oriented design. His 2000 publication on holistic UML modeling reflects his expertise in formal specifications. Publications His notable work includes Formally modeling UML and its evolution: A holistic approach (2000), which bridges formal methods and software architecture.


