CMMI-CM Compliance Checking of Formal BPMN Models using Maude

Faculty Computer Science Year: 2015
Type of Publication: ZU Hosted Pages:
Authors:
Nesreen Abdelghafar Soliman Elsaber
Journal: University of Leicester University of Leicester Volume:
Keywords : CMMI-CM Compliance Checking , Formal BPMN Models    
Abstract:
From the perspective of business process improvement models, a business process which is compliant with best practices and standards (e.g. CMMI) is necessary for defin ing almost all types of contracts and government collaborations. In thi
    
     
 
       

Author Related Publications

  • Nesreen Abdelghafar Soliman Elsaber, "BPMN Formalization and Verification using Maude", ACM, New York, NY, USA, 2014 More
  • Nesreen Abdelghafar Soliman Elsaber, "A Model for Rearchitecting Frameworks", International Journal of Software Engineering (IJSE), 2009 More
  • Nesreen Abdelghafar Soliman Elsaber, "Approaches to Software Re-architecting", The 37th International Conference on Computers and Industrial Engineering proceedings, 2007 More
  • Nesreen Abdelghafar Soliman Elsaber, "A Security-by-Design Decision-Making Model for Risk Management in Autonomous Vehicles", IEEE, 2021 More
  • Nesreen Abdelghafar Soliman Elsaber, "A Comprehensive Framework for Evaluating Sustainable Green Building Indicators under an Uncertain Environment", Multidisciplinary Digital Publishing Institute, 2021 More

Department Related Publications

  • Abdelnaser Hessien Reyad Zaied , "A Technique for Cost Justified Software Usability Testing", Engineering Research Journal, Helwan University,, 2002 More
  • Abdelnaser Hessien Reyad Zaied , "Assessing e-Readiness in the Arab Countries: Perceptions Towards ICT Environment in Public Organizations in the State of Kuwait", Electronic Journal of e-Government, 2007 More
  • Abdelnaser Hessien Reyad Zaied , "Risk Assessment for Implementing E-Services in Some Ministries in the State of Kuwait", Arab Gulf Journal of Scientific Research, 2007 More
  • Soaad Mohamed Nagieb, "Automated system for classifying uni-bicompartmental knee osteoarthritis by using redefined residual learning with convolutional neural network", Elsevier, 2024 More
  • Asmaa Hanafy Ali Ghoniem, "Banknote Recognition for Visually Impaired Using Key-point and Support Vector Machine", ٌٍُESRG, 2022 More
Tweet