全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    UML活动图的时序逻辑语义  CNKI文献

    UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图...

    朱雪阳 唐稚松 《计算机研究与发展》 2005年09期 期刊

    关键词: UML / 活动图 / 形式化语义 / 时序逻辑

    下载(517)| 被引(56)

    基于时序逻辑的软件体系结构描述语言XYZ/ADL  CNKI文献

    体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示...

    朱雪阳 唐稚松 《软件学报》 2003年04期 期刊

    关键词: 软件体系结构 / 体系结构描述语言 / 时序逻辑语言XYZ/E / 规范

    下载(475)| 被引(86)

    有限精度时间自动机的可达性检测  CNKI文献

    为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of del...

    晏荣杰 李广元... 《软件学报》 2006年01期 期刊

    关键词: 有限精度时间自动机 / 符号化方法 / 模型检测 / 可达性

    下载(429)| 被引(25)

    基于线性时序逻辑的实时系统模型检查  CNKI文献

    模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTL...

    李广元 唐稚松 《软件学报》 2002年02期 期刊

    关键词: 实时系统 / 时间自动机 / 线性时序逻辑 / 模型检查

    下载(567)| 被引(25)

    可视化体系结构描述语言XYZ/ADL  CNKI文献

    提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表...

    骆华俊 唐稚松... 《软件学报》 2000年08期 期刊

    关键词: 时序逻辑语言 / 软件体系结构 / 体系结构描述语言 / 组件

    下载(332)| 被引(86)

    Statecharts的组合语义与求精  CNKI文献

    由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满...

    朱雪阳 唐稚松 《软件学报》 2006年04期 期刊

    关键词: Statecharts / 时序逻辑 / XYZ/E / 形式语义

    下载(218)| 被引(15)

    带有时钟变量的线性时序逻辑与实时系统验证  CNKI文献

    为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但...

    李广元 唐稚松 《软件学报》 2002年01期 期刊

    关键词: 实时系统 / 时间自动机 / 线性时序逻辑 / 规范语言

    下载(230)| 被引(29)

    一种面向软件工程的时序逻辑语言  CNKI文献

    XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分....

    唐稚松 赵琛 《软件学报》 1994年12期 期刊

    关键词: 时序逻辑语言 / 一阶逻辑 / 描述 / 验证

    下载(244)| 被引(41)

    基于XYZ/E描述和验证容错系统  CNKI文献

    研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:...

    郭亮 唐稚松 《软件学报》 2002年05期 期刊

    关键词: 容错系统 / 时序逻辑语言XYZ/E / 求精 / 容错转换

    下载(92)| 被引(23)

    XYZ/E面向对象程序语义概述  CNKI文献

    XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的...

    郭亮 唐稚松 《软件学报》 2003年03期 期刊

    关键词: 时序逻辑语言XYZ/E / 面向对象程序 / 代理机构 / 语义一致性

    下载(142)| 被引(14)

    三机冗余容错系统的描述和验证  CNKI文献

    使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的...

    郭亮 唐稚松 《软件学报》 2003年01期 期刊

    关键词: 时序逻辑语言XYZ/E / 容错系统 / 三机冗余 / 描述

    下载(160)| 被引(11)

    XYZ系统的目的、意义、作用与应用  CNKI文献

    XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.

    唐稚松 《软件学报》 1999年04期 期刊

    关键词: 时序逻辑语言 / 状态转换 / 动态语义 / 静态语义

    下载(176)| 被引(18)

    XYZ系统的设计思想  CNKI文献

    §1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环境”基调讲演中部分内容整理扩充而成。因该会议...

    唐稚松 《软件学报》 1990年01期 期刊

    关键词: 时序逻辑语言 / 编译技术 / XYZ / 属性文法

    下载(108)| 被引(14)

    反应系统的连续时序逻辑表示和验证  CNKI文献

    引进一个称为LTLC的连续时间时序逻辑 ,用来对反应系统进行规范与验证 .LTLC的一个重要特点是它能在统一的逻辑框架下表示反应系统及其性质 ,这样就可将系统与性质间的满足关系转化为逻辑公式间的蕴涵关系 .同时 ,采用...

    李广元 唐稚松 《计算机学报》 2003年11期 期刊

    关键词: 反应系统 / 公平转换系统 / 时序逻辑 / 性质验证

    下载(137)| 被引(3)

    在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(...  CNKI文献

    XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the spe...

    闫安 唐稚松 《软件学报》 2000年06期 期刊

    关键词: Temporal / logic / language / real-time

    下载(64)| 被引(9)

    时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)  CNKI文献

    指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中...

    李广元 唐稚松 《软件学报》 2000年03期 期刊

    关键词: 时序逻辑 / 形式语义 / 程序验证 / 动态语义

    下载(94)| 被引(4)

    基于 XYZ/ E的混成系统(英文)  CNKI文献

    混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ...

    阎安 唐稚松 《软件学报》 2000年01期 期刊

    关键词: 混成系统 / 相位转换系统 / 时序逻辑语言 / XYZ/E

    下载(77)| 被引(4)

    基于时序逻辑语言XYZ/E的软件体系结构描述方法  CNKI文献

    XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接...

    张广泉 唐稚松 《淮阴师范学院学报(自然科学版)》 2002年01期 期刊

    关键词: 软件体系结构 / 时序逻辑语言 / XYZ/E / 组件

    下载(103)| 被引(2)

    LBLR(K)文法与文法分划  CNKI文献

    本文介绍一种二级文法,它是我们构造的一个语法分解自动生成系统XYZ/PG的理论基础。我们认为,由顶向下的递归子程序方法分块太细,而由底向上的语法分解程序由一整块构成又失之分块太粗,二者均不便于阅读和修改。在第二...

    唐稚松 《计算机学报》 1980年01期 期刊

    关键词: 优先文法 / 依赖图 / 生成系统 / 非终结符

    下载(25)| 被引(14)

    时序逻辑程序的证明系统  CNKI文献

    本文为时序逻辑语言XYZ/E建立了一个证明系统.其主要特点是:1.证明可以直接在时序逻辑系统中进行,无需另行建立专门的公理系统;2.可建立一些元数学定理以简化证明过程;3.可在逐步求精的过程中边设计边证明正确性.

    冯玉琳 林惠民... 《计算机研究与发展》 1985年10期 期刊

    关键词: 时序逻辑语言 / 常量符号

    下载(91)| 被引(4)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状