李兴华 张康 赵春颖 曹春 韩秀清 余萍 孔骏 但斌 邹阳 马晓星 曾晓勤 周宇

形式语言 成员问题 动态软件体系结构 可视化 摩托车 嵌入问题 软件架构 统一建模语言的语义 产生式 文法类型 大规模定制 产品族 形式化 开发环境 可视化语言