Leilei Lin Hua Zhou Fei Dai 0002 Zhenli He Yong Shen Hongwei Kang 一种基于代数语义的软件体系结构求精方法 (Method of Software Architecture Refinement Based on Algebraic Semantics). 141-146 2017 44 计算机科学 7 https://doi.org/10.11896/j.issn.1002-137X.2017.07.026 http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2017.07.026 db/journals/jsjkx/jsjkx44.html#LinZ0HSK18