主  题

不  限

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

不  限

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

主  题

不  限

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

不  限

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

全  文

不  限

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

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果
抱歉!未检索到相关文献
建议您在全文内查看与“时序逻辑语言”内容相关的文献:

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

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

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

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

下载(246)| 被引(41)

面向对象的时序逻辑语言  CNKI文献

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一...

王小兵 段振华 《电子科技大学学报》 2009年01期 期刊

关键词: 形式语言 / 时序逻辑 / 面向对象程序设计 / 组合Web服务

下载(231)| 被引(10)

框架时序逻辑语言MSVL中面向对象机制的实现  CNKI文献

针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则...

王小兵 段振华 《西安电子科技大学学报》 2010年03期 期刊

关键词: 框架 / 时序逻辑 / 时序逻辑语言 / 面向对象程序设计

下载(98)| 被引(7)

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

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

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

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

下载(480)| 被引(86)

基于时序逻辑语言的分布式实时软件体系结构描述与精...  CNKI文献

如何解决系统的分布性、实时性和并发性问题是分布式实时系统研究中的难点和重点。但如果将参与实时交互行为的各独立计算结点看成一个个组件,那么参与实时交互行为成为了各组件的实时性交互行为,分布式实时系统的分布...

金旗铭 导师:张广泉 苏州大学 2009-05-01 硕士论文

关键词: 分布式实时系统 / 软件体系结构 / 时序逻辑 / XYZ/E

下载(113)| 被引(3)

基于UML和时序逻辑语言的银行ATM系统描述与求精  CNKI文献

软件体系结构是20世纪90年代国际软件工程领域出现的一个研究热点,随着软件系统规模和复杂性的不断增大,软件体系结构的设计已成为系统成功的关键因素。 软件体系结构描述是软件体系结构的一个首要研究内容。目前...

李辉 导师:张广泉 苏州大学 2007-10-01 硕士论文

关键词: 软件体系结构 / 描述 / 求精 / UML

下载(247)| 被引(1)

基于时序逻辑语言描述的监控系统的软件体系结构求精  CNKI文献

该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。

张广泉 戎玫 ... 《计算机工程与应用》 2003年31期 期刊

关键词: 软件体系结构 / 监控系统 / 组件 / 求精

下载(93)| 被引(12)

实时时序逻辑语言XYZ/RE到时间自动机的映射  CNKI文献

时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基...

刘珊艳 戎玫... 《微计算机应用》 2008年06期 期刊

关键词: XYZ/RE / 实时系统 / 时间自动机 / UPPAAL

下载(80)| 被引(5)

基于时序逻辑语言XYZ/E的CA认证系统描述与求精  CNKI文献

随着计算机网络和信息技术的日益发展和融合,Internet已经渗入到我们社会生活的各个方面。由于Internet本身的开放性,使网上交易面临着种种危险。如何保证客户之间在网上传递信息的机密性、完整性、不可抵赖性和安全性...

刘俭云 导师:张广泉 苏州大学 2005-04-01 硕士论文

关键词: XYZ/E / CA / 软件体系结构 / 描述

下载(92)| 被引(3)

时序逻辑程序语言XYZ/E的创新性  CNKI文献

唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式...

邹崇理 《重庆理工大学学报(社会科学)》 2018年09期 期刊

关键词: 唐稚松院士 / 时序逻辑语言XYZ/E / 时态逻辑 / 动态逻辑

下载(77)| 被引(1)

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

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

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

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

下载(95)| 被引(4)

一种基于时序逻辑语言的实时售票系统描述与精化方法  CNKI文献

时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYZ/E描述了整个软件系统的体系结...

金旗铭 张广泉 《苏州大学学报(工科版)》 2009年04期 期刊

关键词: 分布式实时系统 / 时序逻辑语言 / XYZ/E / 实时售票系统

下载(67)| 被引(1)

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

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

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

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

下载(105)| 被引(2)

基于时序逻辑的面向方面体系结构描述语言  CNKI文献

运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻...

倪友聪 应时... 《计算机科学》 2010年01期 期刊

基于时序逻辑语言XYZ/E的实时系统应用研究  CNKI文献

针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用...

刘珊艳 张广泉 《重庆师范大学学报(自然科学版)》 2006年03期 期刊

关键词: 实时系统 / 形式化方法 / 时序逻辑 / XYZ/E

下载(86)| 被引(1)

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

  • 发文趋势
时间的形状