搜索到 篇“ 形式化语义 “的相关文章

相关作者

侯金奎
作品数：84被引量：166H指数：6
供职机构：潍坊学院
研究主题：模型驱动开发 软件体系结构 形式化语义 代码生成 模型驱动体系结构
张广泉
作品数：234被引量：712H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
黄正宝
作品数：16被引量：66H指数：5
供职机构：无锡商业职业技术学院
研究主题：形式化语义 XYZ/E 时序逻辑 UML_2.0 UML2.0
王磊
作品数：16被引量：31H指数：4
供职机构：潍坊学院计算机工程学院
研究主题：形式化语义 模型驱动开发 计算机软件 语义描述 进程代数
张奎廷
作品数：3被引量：0H指数：0
供职机构：潍坊学院计算机工程学院
研究主题：形式化语义 架构模型