一种基于代数语义的软件体系结构求精方法 (Method of Software Architecture Refinement Based on Algebraic Semantics)

Leilei Lin, Hua Zhou, Fei Dai 0002, Zhenli He, Yong Shen, Hongwei Kang. 一种基于代数语义的软件体系结构求精方法 (Method of Software Architecture Refinement Based on Algebraic Semantics). 计算机科学, 44(7):141-146, 2017. [doi]

Abstract

Abstract is missing.