Dr Enas E. El-Sharawy, Computer Science M.Sc 2011 and PHD 2014 from Al-Azhar University, She works as lecturer of computer science at Al-Azhar University. She published many papers until 2014 in Formal method, Rodin platform and UML and interested in database and ontology.