张杨

作品数：2被引量：0H指数：0
导出分析报告
供职机构：太原理工大学更多>>
发文主题：光网络磁共振影像UML模型M模块复合膜层更多>>
发文领域：自动化与计算机技术理学电子电信金属学及工艺更多>>
发文期刊：《计算机工程与设计》更多>>
所获基金：山西省自然科学基金山西省科技攻关计划项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Z规格的LR(k)形式化分析及验证
《计算机工程与设计》2013年第7期2403-2407,共5页张杨 段富 
山西省自然科学基金项目(2008011039);山西省科技攻关基金项目(20080322008)
在编译器的构造中,常由于语义的二义性等问题导致不正确的目标程序。为解决此问题,提出了一种新型的语法及语义正确性验证方案,即建立LR(k)文法和Z规格说明的联系,以此构造LR(k)文法的形式化描述及其形式化验证。实验结果表明,该方案能...
关键词：LR(k)文法 形式化描述 形式化验证 Z规格 语法 语义 
基于Z规格的UML模型形式化转换及验证
《计算机工程与设计》2013年第6期2031-2035,共5页张杨 段富 
山西省自然科学基金项目(2008011039);山西省科技攻关基金项目(20080322008)
统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式...
关键词：形式化方法 形式化验证 统一建模语言 Z规格 Z-EVES 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部