李琰
【姓名】 李琰
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 序列图,Z语言,统一建模语言,事件序,形式化,语义分析,语义规范,Z形,约束,位点,基于上下文,语义,语义分析方法,正确性验证,全序关系,时序逻辑,状态向量,语义约束,一致性约束,消息传递,模型检验,...
【工作单位】 上海贝尔阿尔卡特股份有限公司
【曾工作单位】 上海贝尔阿尔卡特股份有限公司;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 3 0 57 535
中国期刊全文数据库    共找到4篇
[1]李景峰,李琰,陈平.基于上下文约束的UML序列图语义分析方法[J]系统工程与电子技术.2003,(02)
[2]李景峰,李琰,陈平.基于事件序的UML序列图语义规范[J]长安大学学报(自然科学版).2002,(06)
[3]李景峰,李琰,陈平.UML序列图的Z形式规范[J]西安电子科技大学学报.2002,(06)
[4]李景峰;李琰;陈平;.UML顺序图的形式化描述[J]计算机科学.2002,(06)
更多