Author:
Chakraborty Manali,Chakraborty Shalini,Chaki Nabendu
Reference13 articles.
1. IEEE Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Std 1471-2000, pp. i–23 (2000).
https://doi.org/10.1109/IEEESTD.2000.91944
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, vol. 1st. Cambridge University Press, New York, NY, USA (2010)
3. Herold, S.: Checking architectural compliance in component-based systems. In: ACM Symposium on Applied Computing (2010)
4. Lohmann, N.: Compliance by design for artifact-centric business processes. In: 9th International Conference on Business Process Management, pp. 99–115 (2011)
5. Kharbili, M.E., de Medeiros, A.K.A., Stein, S., van der Aalst, W.M.P.: Business process compliance checking: current state and future challenges. MobIS 141, 107–113 (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献