Formal analysis of BPMN models using event-B
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Hi-index | 0.00 |
All over the world software industry is facing the threatening failure rate of software projects. The scenario is worst in Pakistan having very immature software industry where projects are mostly over budgeted, over scheduled, and get low customer satisfaction. ...