蒋严冰、邵维忠、张路、麻志毅
北京大学信息科学与技术学院软件研究所,北京,100871
UML 扩展机制 衍型 形式化 语法 语义
国家自然科学基金国家高技术研究发展计划(863计划)国家重点基础研究发展计划(973计划)
600730152001AA1130702002CB312000
2003