主  题

不  限

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

不  限

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

主  题

不  限

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

不  限

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

全  文

不  限

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

不  限

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

面向软件系统XYZ的程序语言的逻辑动态发展之探...  CNKI文献

软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽然时序逻辑的语义是静态的,但是XYZ/E所关...

姚从军 陈宝爱 《贵州工程应用技术学院学报》 2020年03期 期刊

关键词: 软件系统XYZ / 时序逻辑语言XYZ/E / 时序逻辑 / 组合范畴语法

下载(8)| 被引(0)

基于XYZ/SE的C/S体系结构风格研究  CNKI文献

XYZ/SE是中国学者唐稚松教授历经二十余年研究而提出的第一种时序逻辑语言,由于其独特性而具有重要理论价值和应用前景,但遗憾的是自提出以来并未得到更为广泛的研究和应用。本文基于XYZ/SE

刘曼霞 导师:张锦 湖南大学 2013-04-20 硕士论文

关键词: 形式化方法 / XYZ系统 / 结构化XYZ/SE / 体系结构风格

下载(32)| 被引(2)

基于UML和XYZ/E的ATM系统体系结构描述  CNKI文献

本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活...

李辉 张广泉... 《微计算机信息》 2010年09期 期刊

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

下载(117)| 被引(3)

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

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

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

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

下载(67)| 被引(1)

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

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

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

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

下载(113)| 被引(3)

面向对象MSVL语言及其在组合Web服务验证中的应用  CNKI文献

时序逻辑是一种规范语言,适合于并发系统的规范与验证,已经广泛的应用于数字电路、软件工程等领域的形式化验证中。时序逻辑程序设计语言是时序逻辑的一个可执行子集,可以将程序的书写、性质...

王小兵 导师:段振华 西安电子科技大学 2009-04-01 博士论文

关键词: 时序逻辑语言 / 指针 / 面向对象 / 组合

下载(320)| 被引(17)

基于时序逻辑语言XYZ/E验证信誉系统  CNKI文献

目前在信誉系统的模型认证方面使用的模型验证的方法,本文以信誉系统为例,使用可执行的时=序逻辑语言XYZ/E来验证信誉系统,为进一步提高验证的准确性和精确性提供了新的思路。

崔亚林 《科协论坛(下半月)》 2009年03期 期刊

关键词: 信誉系统 / 时序逻辑 / 语义

下载(22)| 被引(0)

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

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

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

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

下载(80)| 被引(5)

基于时序逻辑的Open Solaris内核进程形式化描述与求...  CNKI文献

XYZ系统理论基于Manna-Pnueli线性时序逻辑,其中时序逻辑语言XYZ/E既是一个时序逻辑系统,又可作为可执行程序的不同抽象层次的系统描述。作为验证软件可靠性和生产软件工具引擎,...

王少将 导师:张广泉 苏州大学 2008-05-01 硕士论文

基于UML与时序逻辑的嵌入式实时软件建模及应用  CNKI文献

嵌入式系统是近年来国内外计算机科学与控制论领域研究的一个热点课题。随着嵌入式系统的规模和复杂性不断增大,建模在嵌入式实时软件开发过程中的作用也越来越重要。统一建模语言UML是一个通用的可视化建...

张姝 导师:张广泉 重庆师范大学 2008-04-01 硕士论文

关键词: 嵌入式实时软件 / 建模 / UML2.0 / XYZ/E

下载(172)| 被引(0)

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

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

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

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

下载(247)| 被引(1)

XYZ/AE描述程序性质的探讨  CNKI文献

为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描...

左春华 张广泉... 《计算机科学》 2007年03期 期刊

关键词: 程序性质 / XYZ/AE / XYZ/E

下载(62)| 被引(1)

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

针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了#~

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

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

下载(86)| 被引(1)

XYZ/E在CA认证系统的一个初步应用  CNKI文献

时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ...

刘俭云 戎玫... 《计算机工程与应用》 2005年26期 期刊

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

下载(49)| 被引(1)

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

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

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

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

下载(92)| 被引(3)

软件体系结构形式描述研究  CNKI文献

体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述,但这些建模语言的缺点是语义不够精确,难以对它们所表示的模型进行分析,这一点上形式化方法可与...

朱雪阳 导师:唐稚松 中国科学院研究生院(软件研究所) 2004-12-01 博士论文

关键词: 软件体系结构 / 体系结构描述语言 / 双重描述框架 / XYZ系统

下载(1796)| 被引(28)

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

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

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

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

下载(93)| 被引(23)

基于组件的逐步求精程序设计方法  CNKI文献

软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构 设计过程中,经常要碰到的问题是如何从抽象的高层体系结构逐步过渡到底层 的体系结构直到最后的实现。这个过渡过程要保...

郑建丹 导师:唐稚松 中国科学院软件研究所 2001-04-01 硕士论文

关键词: XYZ系统 / 时序逻辑语言 / 软件体系结构 / 逐步求精

下载(149)| 被引(6)

基于XYZ/E的软件体系结构描述及求精实例研究  CNKI文献

随着软件系统规模的增大,算法和数据结构已经不再是系统设 计的主导问题了。伴随着对整个系统的组织(软件体系结构)的研究 的发展,产生了许多我...

舒明 导师:唐稚松 中国科学院软件研究所 2001-04-01 硕士论文

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

下载(156)| 被引(8)

基于XYZ/RE的多媒体同步器自动构造方法  CNKI文献

XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究...

赵琛 唐稚松... 《软件学报》 2000年08期 期刊

关键词: 时序关系 / XYZ系统 / XYZ/RE / 同步器

下载(67)| 被引(1)

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

  • 发文趋势
时间的形状