您的位置： 专家智库 > >

缪淮扣

作品数：154 被引量：505H指数：12
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术经济管理文化科学理学更多>>

合作作者

文献类型

  • 130篇期刊文章
  • 16篇会议论文
  • 5篇专利
  • 3篇科技成果

领域

  • 142篇自动化与计算...
  • 6篇经济管理
  • 2篇电子电信
  • 2篇文化科学
  • 2篇理学
  • 1篇金属学及工艺
  • 1篇医药卫生
  • 1篇社会学

主题

  • 23篇测试用例
  • 19篇WEB应用
  • 16篇Z规格说明
  • 15篇形式化
  • 12篇定理证明
  • 12篇软件开发
  • 11篇OBJECT...
  • 11篇Z语言
  • 10篇定理
  • 10篇UML
  • 10篇测试用例生成
  • 10篇WEB服务
  • 8篇状态机
  • 8篇Z
  • 7篇有限状态机
  • 7篇工作流
  • 6篇形式规格说明
  • 6篇软件测试
  • 6篇自动化
  • 6篇组件

机构

  • 153篇上海大学
  • 23篇上海市计算机...
  • 10篇江西财经大学
  • 5篇上海第二工业...
  • 3篇杭州师范大学
  • 2篇东莞理工学院
  • 2篇华东师范大学
  • 2篇信阳师范学院
  • 1篇广西财经学院
  • 1篇杭州电子科技...
  • 1篇上海交通大学
  • 1篇苏州市职业大...
  • 1篇武汉大学
  • 1篇嘉兴学院
  • 1篇湖南科技学院
  • 1篇厦门理工学院
  • 1篇上海水产大学
  • 1篇中国科学院上...
  • 1篇上海科学技术...

作者

  • 154篇缪淮扣
  • 23篇曾红卫
  • 16篇高洪皓
  • 15篇陈怡海
  • 12篇钱忠胜
  • 11篇刘玲
  • 11篇许庆国
  • 10篇陈圣波
  • 8篇高晓雷
  • 8篇朱关铭
  • 6篇梅佳
  • 5篇孙军梅
  • 5篇文志诚
  • 5篇王皙
  • 5篇曹晓夏
  • 5篇刘静
  • 4篇开金宇
  • 3篇黎升洪
  • 3篇高如海
  • 3篇何涛

传媒

  • 29篇计算机科学
  • 18篇计算机应用与...
  • 17篇上海大学学报...
  • 14篇计算机工程
  • 14篇应用科学学报
  • 9篇软件学报
  • 5篇计算机学报
  • 4篇小型微型计算...
  • 4篇计算机工程与...
  • 3篇计算机科学与...
  • 2篇计算机工程与...
  • 2篇2003''...
  • 2篇2003中国...
  • 1篇科学通报
  • 1篇东南大学学报...
  • 1篇华中科技大学...
  • 1篇计算机工程与...
  • 1篇同济大学学报...
  • 1篇计算机应用
  • 1篇计算机应用研...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2020
  • 1篇2018
  • 1篇2017
  • 2篇2016
  • 6篇2015
  • 5篇2014
  • 2篇2013
  • 4篇2012
  • 10篇2011
  • 8篇2010
  • 9篇2009
  • 13篇2008
  • 13篇2007
  • 18篇2006
  • 9篇2005
  • 10篇2004
  • 7篇2003
  • 8篇2002
共 154 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一个自动构造类测试驱动程序的框架被引量：3
2005年
在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。
姜文缪淮扣刘玲
关键词：驱动程序软件复杂度软件测试类测试
页面置换算法的Z规格说明被引量：1
1999年
虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.
张阁朱关铭缪淮扣
关键词：Z语言
智能服务——Web服务和语义Web集成研究被引量：20
2004年
现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能服务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能服务,其原因是现有Web服务缺乏清楚的语义标记,该文提出将语义Web技术和Web服务结合来实现智能服务的思想,即为Web服务增加语义标记以实现Web服务的智能性,并就其可行性进行了阐述,最后给出了具体实现的方法。
孙军梅缪淮扣刘玲
关键词：WEB服务语义WEB本体
可视化的SOZL编辑器的设计与实现被引量：3
2002年
1.引言 从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作.
高晓雷缪淮扣陈怡海
关键词：面向对象软件开发可视化
规格说明语言Z的类型检查被引量：1
2000年
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
张晓莺朱关铭缪淮扣
关键词：规格说明语言Z语言
关于Z规格说明语言中模式的剖析被引量：1
1998年
1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言。
高晓雷缪淮扣
关键词：规格说明语言形式语言Z语言
GBPEL:一种合成网格服务和Web服务的工作流语言被引量：2
2005年
网格工作流是实现网格计算的一种重要的中间件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。
曾红卫李奇缪淮扣
关键词：BPEL4WS网格工作流网格服务描述语言工作流WEB服务网格应用
Uppaal到PVS的时间自动机翻译器
2008年
Uppaal是一种对实时系统模型进行建模和验证的工具,PVS(Prototype Verification System)是开发和分析形式化规格说明的原型证明系统。介绍了Uppaal2PVS翻译器的设计与实现,给出了一种将用Uppaal生成的时间自动机规格说明翻译成PVS文件的方法,从而将模型检查问题转换成了定理证明问题,解决了潜在的状态空间爆炸问题。最后给出了一个实例。
刘振通缪淮扣许庆国
关键词：时间自动机翻译器UPPAALPVS
基于图的Web服务组合优化的研究被引量：18
2007年
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。
曹利培刘静缪淮扣
关键词：WEB服务OWL-S
基于PVS的时序逻辑语义模型及其实现被引量：2
2006年
时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.
许庆国缪淮扣
关键词：时序逻辑语义定理证明
全选 清除 导出
共16页<12345678910>
聚类工具0