Belhaj Hafid
Publication Count: 2
Publication List:
(1) Verifying ODP trader function by using Event B, Volume 7, Issue 4, July 2010
(2) Modeling ODP Policies by using event-B, Volume 7, Issue 6, November 2010
About Belhaj Hafid:
Belhaj Hafid is a PhD student in Computing sciences at the University of Rabat. He received his MSc in Computer Science (Architecture of Information Systems and Communication) from National Engineer School of Computer Science and System Analysis (ENSIAS), Rabat, Morocco. Topic: Conception and development of a platform for decisional reactive agents. Since 2001 he was an engineer in Moroccan Pension Fund (C.M.R) overseeing it design, development and information architecture. He has experience in teaching, research, and student supervision in software engineering and logic programming. His main research interest is in the formal specification of open distributed systems and model driven architecture.
Publication List:
(1) Verifying ODP trader function by using Event B, Volume 7, Issue 4, July 2010
(2) Modeling ODP Policies by using event-B, Volume 7, Issue 6, November 2010
About Belhaj Hafid:
Belhaj Hafid is a PhD student in Computing sciences at the University of Rabat. He received his MSc in Computer Science (Architecture of Information Systems and Communication) from National Engineer School of Computer Science and System Analysis (ENSIAS), Rabat, Morocco. Topic: Conception and development of a platform for decisional reactive agents. Since 2001 he was an engineer in Moroccan Pension Fund (C.M.R) overseeing it design, development and information architecture. He has experience in teaching, research, and student supervision in software engineering and logic programming. His main research interest is in the formal specification of open distributed systems and model driven architecture.
