支持模型驱动开发的软构件形式化描述方法
侯金奎, 王成端
Formal description approach for software component in model-driven development
HOU Jinkui, WANG Chengduan
计算机应用 . 2015, (9): 2692 -2700 .  DOI: 10.11772/j.issn.1001-9081.2015.09.2692