作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

模型检测新技术研究  CNKI文献

1 引言软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一,尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关(safety-critical)领域更是如此。这类系统要求绝对安全可靠,不容半...

戎玫 张广泉 《计算机科学》 2003年05期 期刊

关键词: Model / checking / State / explosion.

下载(468)| 被引(49)

基于软件体系结构和UML的图书管理系统设计与实现  CNKI文献

软件体系结构是目前软件工程领域一个新兴的研究方向,对于复杂的软件系统而言,其体系结构的设计已经成为系统能否成功的一个关键因素。本文以一个图书管理系统为例,采用统一建模语言UML对该系统体系结构建模,并通过VB...

戎玫 张广泉... 《计算机科学》 2005年06期 期刊

关键词: 图书管理系统 / 软件体系结构 / 建模 / UML

下载(542)| 被引(20)

一种基于多维属性的CPS软件可信性评估方法  CNKI文献

信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的...

戎玫 《计算机科学》 2013年11期 期刊

关键词: 多维属性 / 信息物理融合系统 / 可信证据时效性 / 软件可信性评估

下载(106)| 被引(3)

形式化与可视化相结合的软件体系结构描述方法研究  CNKI文献

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式...

戎玫 张广泉 《计算机科学》 2005年04期 期刊

关键词: 软件体系结构 / 建模 / 形式化方法 / 可视化方法

下载(213)| 被引(17)

软件体系结构求精方法研究  CNKI文献

1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年...

戎玫 张广泉 《计算机科学》 2003年04期 期刊

关键词: Software / architecture / Component-based / Refinement

下载(91)| 被引(48)

实时系统动态行为模型的一种形式分析方法  CNKI文献

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景...

戎玫 《计算机应用研究》 2009年09期 期刊

关键词: 实时系统 / 动态行为模型 / 时间约束 / 统一建模语言UML2.0

下载(108)| 被引(4)

强化实践创新能力 突破软件人才瓶颈  CNKI文献

针对当前国内高校软件人才培养机制存在的主要不足,从改革实践教学、加强校企合作、开展国际交流合作等方面,阐述了如何加强学生的实践创新能力,培养适应企业需求的高质量的软件人才的几点做法。

戎玫 张广泉... 《实验室研究与探索》 2007年12期 期刊

关键词: 软件人才 / 创新能力 / 实践教学 / 校企合作

下载(76)| 被引(3)

一种基于LTL性质的面向对象并发程序切片方法  CNKI文献

为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。切片后的程序与原程序对待验证的LTL性质具有...

戎玫 何志学... 《计算机应用》 2008年05期 期刊

关键词: 程序切片 / 线性时序逻辑性质 / 并发程序 / 程序验证

下载(130)| 被引(1)

基于限界模型检查的Web服务行为失配检测  CNKI文献

在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理论(SMT)的Web服务行为失配检测方法。该方法...

戎玫 陈圣标... 《计算机科学》 2012年06期 期刊

关键词: 限界模型检查 / Web服务 / 行为失配检测 / 可满足性模理论

下载(56)| 被引(0)

一种基于场景的嵌入式软件设计方法  CNKI文献

UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT(Timed Sequence Diagram Template),用来建...

戎玫 《计算机工程与应用》 2010年09期 期刊

关键词: 嵌入式软件 / 场景 / 统一建模语言(UML)顺序图 / 消息传递自动机

下载(91)| 被引(0)

第一原理与启发式知识协同作用的故障诊断系统  CNKI文献

提出一个将第一原理与启发式知识相结合的故障诊断系统,该系统将基于第一原理的方法与传统的基于经验知识的方法协调统一起来,因此兼具两种方法的优点。

戎玫 张广泉... 《计算机工程》 1999年01期 期刊

关键词: 第一原理 / 定性诊断推理 / 专家系统

下载(77)| 被引(5)

SPS系统的一种精确语义描述  CNKI文献

规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质...

戎玫 《计算机科学》 2008年10期 期刊

关键词: 规约模式系统 / 程序性质 / 形式化方法 / SPIN

下载(39)| 被引(0)

基于概率模型检测的Web服务组合验证  CNKI文献

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为...

王晶 戎玫... 《计算机科学》 2012年01期 期刊

关键词: Web服务组合 / 有限自动机 / Markov模型 / 概率模型检测

下载(388)| 被引(30)

一种基于第一原理的定性诊断探测法  CNKI文献

提出了一种基于第一原理的定性诊断探测法,该方法将经验知识纳入算法中,与国际上典型的GDE系统中的Shannon熵预测法相比更快速、简单、有效,并且对探测值与新候选的关系进行了仔细分析,利用所得结论可大...

戎玫 张广泉... 《重庆大学学报(自然科学版)》 1999年03期 期刊

关键词: 诊断/第一原理 / 探测

下载(39)| 被引(0)

一种新的混合式定性诊断推理模型  CNKI文献

国际上现有的诊断推理方法可归纳为两类:基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理,由于这两种方法各有其优缺点,因此如何将两种方法有机地结合起来成为近年来该领域的研究热点。本文提出一种将第...

戎玫 张广泉... 《重庆大学学报(自然科学版)》 1998年04期 期刊

关键词: 诊断/定性推理 / 模型

下载(23)| 被引(0)

基于Bigraph的面向方面动态软件体系结构演化研究  CNKI文献

随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构...

汪玲 戎玫... 《计算机科学》 2010年09期 期刊

关键词: Bigraph / Bigraph反应系统 / AODSA / 动态演化

下载(147)| 被引(11)

时间感知Web服务交互行为建模与失配检测方法研究  CNKI文献

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表...

张广泉 戎玫... 《电子学报》 2011年11期 期刊

关键词: 时间感知Web服务 / 时间服务协议 / 时间服务交互 / 模型检测

下载(202)| 被引(12)

基于XYZ/ADL的Web服务组合描述与验证  CNKI文献

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务...

张广泉 戎玫... 《电子学报》 2011年S1期 期刊

关键词: Web服务组合 / XYZ/ADL / XYZ/RE / 时间自动机

下载(199)| 被引(16)

一种基于体系结构的Web服务组合描述方法  CNKI文献

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结...

魏慧 戎玫... 《计算机工程与科学》 2008年12期 期刊

关键词: Web服务 / 服务组合 / 体系结构描述语言 / XYZ/ADL

下载(108)| 被引(5)

UML 2.0的形式化语义研究  CNKI文献

由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图...

张广泉 戎玫... 《南京邮电大学学报(自然科学版)》 2007年03期 期刊

关键词: 线性时序逻辑 / 形式化语义 / UML2.0 / 顺序图

下载(277)| 被引(18)

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

  • 发文趋势
时间的形状