Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah. Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. In Hamido Fujita, Ali Selamat, editors, Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19), Kuching, Malaysia, 23-25 September 2019. Volume 318 of Frontiers in Artificial Intelligence and Applications, pages 725-738, IOS Press, 2019. [doi]