XYZ/E

作品数：37被引量：94H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉唐稚松戎玫朱雪阳黄正宝更多>>
相关机构：中国科学院软件研究所苏州大学暨南大学重庆师范大学更多>>
相关期刊：《重庆师范大学学报（自然科学版）》《计算机工程与应用》《贵州工程应用技术学院学报》《Science China(Technological Sciences)》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目国家高技术研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向软件系统XYZ的程序语言的逻辑动态发展之探究
《贵州工程应用技术学院学报》2020年第3期1-7,共7页姚从军 陈宝爱 
国家社科基金重大项目“面向计算机人工智能的组合范畴语法研究”,项目编号:17ZDA027。
软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽然时序逻辑的语义是静态的,但是XYZ/E所关注的是计算机程序中状态转换的控制机制,在XYZ/E和C语言的赋值语...
关键词：软件系统XYZ 时序逻辑语言XYZ/E 时序逻辑 组合范畴语法 动态逻辑 
时序逻辑程序语言XYZ/E的创新性被引量：3
《重庆理工大学学报（社会科学）》2018年第9期9-15,共7页邹崇理 
国家社会科学基金重大项目"面向计算机人工智能的组合范畴语法研究"(17ZDA027)
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转...
关键词：唐稚松院士 时序逻辑语言XYZ/E 时态逻辑 动态逻辑 
基于XYZ/SE的软件部分正确性验证
《计算机工程与应用》2015年第14期46-50,共5页张锦 刘曼霞 赵二群 柳军飞 
863重点课题(No.2009AA010314);国家自然科学基金(No.60901080)
针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性...
关键词：形式化描述 部分正确性验证 结构化XYZ/E 国库信息处理系统 
GMA架构下监控信息工作流模型探讨
《甘肃科学学报》2011年第2期134-138,共5页王小龙 肖珺 刘光明 
甘肃省科技支撑计划项目(1011FKCA156)
分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式...
关键词：网格监控架构 时序算子 形式化语义 XYZ/E 
UML和XYZ/E在ATM系统的一个初步应用
《微计算机信息》2010年第21期169-171,共3页李辉 张广泉 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
UML作为面向对象技术的标准建模语言,它提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义;时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文基于UML...
关键词：软件体系结构 描述 求精 UML XYZ/E ATM系统 
基于UML和XYZ/E的ATM系统体系结构描述被引量：2
《微计算机信息》2010年第9期200-202,共3页李辉 张广泉 陈枢茜 
基金申请人:张广泉;项目名称:基于XYZ/E的可视化软件体系结构描述语言研究;基金颁发部门:国家自然科学基金委(60073020)
本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例...
关键词：软件体系结构 描述 UML XYZ/E 银行ATM系统 
一种基于时序逻辑语言的实时售票系统描述与精化方法
《苏州大学学报（工科版）》2009年第4期16-21,共6页金旗铭 张广泉 
江苏省高校自然科学基金资助项目(编号08KJB520010)
时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYZ/E描述了整个软件系统的体系结构,逐步精化了核心...
关键词：分布式实时系统 时序逻辑语言 XYZ/E 实时售票系统 描述 精化 
设计模式的一种形式化描述方法被引量：6
《微电子学与计算机》2009年第6期150-153,158,共5页钟金琴 辜丽川 张友华 朱诚 
国家"八六三"计划项目(2006AA10Z249);安徽省"十一五"科技攻关项目(08010302170);安徽省高等学校自然科学研究项目(KJ2008B111)
设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模式应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过...
关键词：设计模式 形式化描述 XYZ/E UML 
基于时序逻辑语言XYZ/E验证信誉系统
《科协论坛（下半月）》2009年第3期97-97,共1页崔亚林 
目前在信誉系统的模型认证方面使用的模型验证的方法,本文以信誉系统为例,使用可执行的时=序逻辑语言XYZ/E来验证信誉系统,为进一步提高验证的准确性和精确性提供了新的思路。
关键词：信誉系统 时序逻辑 语义 
基于时序逻辑的UML2．0通信图语义研究被引量：1
《计算机工程与设计》2008年第21期5601-5604,共4页张姝 戎玫 张广泉 
江苏省高校自然科学基金项目(05KJB520119);重庆市自然科学基金项目(CSTC2006BB2259)
UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的...
关键词：UML2.0 通信图 时序逻辑 形式化语法 形式化语义 XYZ/E 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部