Platform for Inter-Institutions E-Governance Based on a Dynamic Web Services Composition
Toubal, El Bahi, Belkhir, Abdelkader, Rahim, Messaoud, Kheldoun, Ahmed
Published in International Journal of Computing and Digital System (Jāmiʻat al-Baḥrayn. Markaz al-Nashr al-ʻIlmī) (31.10.2022)
Published in International Journal of Computing and Digital System (Jāmiʻat al-Baḥrayn. Markaz al-Nashr al-ʻIlmī) (31.10.2022)
Get full text
Journal Article
A methodology for verifying SysML requirements using activity diagrams
Rahim, Messaoud, Hammad, Ahmed, Ioualalen, Malika
Published in Innovations in systems and software engineering (01.03.2017)
Published in Innovations in systems and software engineering (01.03.2017)
Get full text
Journal Article
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams
Rahim, Messaoud, Kheldoun, Ahmed, Boukala-Ioualalen, Malika, Hammad, Ahmed
Published in IET software (01.10.2015)
Published in IET software (01.10.2015)
Get full text
Journal Article
A Model Driven Approach for Web Service Composition
Toubal, El Bahi, Belkhir, Abdelkader, Kheldoun, Ahmed, Rahim, Messaoud
Published in 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE) (17.09.2022)
Published in 2022 International Conference on Advanced Aspects of Software Engineering (ICAASE) (17.09.2022)
Get full text
Conference Proceeding
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets
Rahim, Messaoud, Hammad, Ahmed, Boukala-Ioualalen, Malika
Published in 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (01.07.2015)
Published in 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (01.07.2015)
Get full text
Conference Proceeding
A Web Services-based Secure Platform for Inter-Institutions E-Governance
Toubal, El Bahi, Belkhir, Abdelkader, Rahim, Messaoud, Kheldoun, Ahmed, Boudjebbour, Karim
Published in 2018 International Conference on Applied Smart Systems (ICASS) (01.11.2018)
Published in 2018 International Conference on Applied Smart Systems (ICASS) (01.11.2018)
Get full text
Conference Proceeding
Using processor virtualization to load balancing distributed state space construction
Rahim, M., Boukala, M. C.
Published in 2011 10th International Symposium on Programming and Systems (01.04.2011)
Published in 2011 10th International Symposium on Programming and Systems (01.04.2011)
Get full text
Conference Proceeding