作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

基于Python的Moodle平台数据可视化  CNKI文献

Moodle是一个广泛使用开源的课程管理系统,对Moodle学习数据进行数据分析和可视化是教师不可或缺的重要手段和工具。本文以Python作为编程开发语言,选用My SQL数据库作为后台数据库,对Moodle平台的访问数据进行分析研...

陈怡海 韦岚... 《福建电脑》 2018年09期 期刊

关键词: Moodle / 学习管理系统 / 数据可视化 / Python

下载(323)| 被引(2)

面向对象软件规格说明的构造及确认技术研究  CNKI文献

随着计算机硬件性能迅速提高和价格的持续下降,计算机系统应用范围不断地扩大,软件系统也日益复杂,研究如何提高软件质量和软件开发效率的工作变得日益重要。 UML语言已成为软件工程领域事实上的标准建模语...

陈怡海 导师:缪淮扣 上海大学 2007-05-01 博士论文

关键词: UML / 形式化 / Object-Z / XML

下载(333)| 被引(7)

OCL与Object-Z作为UML约束语言的分析比较  CNKI文献

UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用...

陈怡海 缪淮扣 《计算机科学》 2004年12期 期刊

关键词: UML / OCL / Object-Z / 分析比较

下载(110)| 被引(16)

两种形式语言:RSL与Z的分析比较  CNKI文献

RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。

陈怡海 缪淮扣 《计算机应用与软件》 2002年04期 期刊

关键词: 形式方法 / RSL / Z规格说明语言

下载(113)| 被引(6)

表格语言的分析比较  CNKI文献

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指...

陈怡海 缪淮扣 《计算机科学》 2014年03期 期刊

关键词: 表格方法 / 形式方法 / 规格说明验证与确认 / 工具支持

下载(31)| 被引(0)

Integrating object-oriented methods and formal methods...  CNKI文献

High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement a...

陈怡海 缪淮扣 《Journal of Harbin Institute of Technology》 2004年03期 期刊

关键词: formal / methods / UML / Object-Z

下载(39)| 被引(4)

一种在万维网上显示Z规格说明的方法  CNKI文献

万维网的普及和发展给软件工程师提供了交流和共享知识的场所.Z是一种基于一阶谓词逻辑和集合论的形式规格说明语言.Z语言用大量的数学符号和模式来构造规格说明.然而,当前的HTML标准不支持在万维网上显示Z...

陈怡海 缪淮扣... 《上海大学学报(自然科学版)》 2000年06期 期刊

关键词: Z规格说明 / ZSL / WWW / HTML

下载(29)| 被引(1)

新版软件产品质量要求和测试标准剖析  CNKI文献

介绍了新版软件产品质量要求和测试标准ISO/IEC 25051:2014的制定背景及其与ISO/IEC 25051:2006的内容对比,具体阐述了二者在适用范围、软件质量特性、标准内容等方面的差异,从而有利于测评人员更好的理解与使用该标准...

胡芸 陈怡海 《信息技术与标准化》 2015年04期 期刊

关键词: ISO/IEC / 25051 / 软件产品 / 测评

下载(96)| 被引(8)

Object-Z规格说明的结构模拟动画技术  CNKI文献

形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式...

朱江 陈怡海... 《上海大学学报(自然科学版)》 2005年06期 期刊

关键词: 形式方法 / 形式规格说明 / 确认 / 动画模拟

下载(49)| 被引(5)

带OCL约束条件的类图到Object-Z规格说明的转换  CNKI文献

如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式...

缪淮扣 陈怡海 《计算机科学》 2007年01期 期刊

关键词: UML / 类图 / OCL约束 / Object-Z规格说明

下载(180)| 被引(11)

Generating test case specifications of web service com...  CNKI文献

Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi-ness.However,little research has focused on testing web services.Based on the research ...

钱铃莉 陈怡海 《Journal of Shanghai University(English Edition)》 2011年05期 期刊

关键词: model-based / testing / web / services

下载(36)| 被引(4)

日常教学数据分析与可视化方法——以“程序设计方法学”课...  CNKI文献

本文分析了课程建设网站采集的日常教学数据的类型和特点,并针对这些数据,采用统计分析和Echarts技术,以可视化的形式展现了师生的日常教学情况,分析了其与教学效果的关联关系,进而,提出了基于回归的学生成绩绩点预测...

刘悦 蔡飞... 《中国信息技术教育》 2018年21期 期刊

关键词: 教学数据分析 / 可视化 / 回归

下载(81)| 被引(0)

一种获得形式化功能需求的方法  CNKI文献

用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的...

高如海 缪淮扣... 《计算机应用与软件》 2004年10期 期刊

关键词: UML / Object-Z / 形式化 / 功能需求

下载(173)| 被引(12)

定理证明辅助工具Isabelle剖析与应用  CNKI文献

Isabelle是一个通用的定理证明器,应用领域广泛。介绍Isabelle逻辑系统的功能和构成,分析了Isabelle的规格说明语言、验证系统的特点,并给出了用Isabelle逻辑系统来构造Z规格说明的定理证明的方法。

郭慧梅 缪淮扣... 《计算机应用与软件》 2007年08期 期刊

关键词: 逻辑系统 / 定理证明器 / 形式化方法

下载(272)| 被引(2)

通过模式进行CIM到PIM的模型转换(英文)  CNKI文献

Model driven architecture(MDA) is an evolutionary step in software development.Model transformation forms a key part of MDA.The transformation from computation independent model(CIM) to platform inde...

曹晓夏 缪淮扣... 《Journal of Shanghai University(English Edition)》 2008年06期 期刊

关键词: model / driven / architecture(MDA) / computation

下载(58)| 被引(4)

流媒体技术在证券股评系统中的应用研究  CNKI文献

流媒体技术是在数据网络上以数据流的方式传输多媒体信息的技术,被认为是未来高速网络的主流应用之一。该文研究流媒体关键技术中的音视频数据采集和编码技术,解决在多媒体数据应用平台中双数据流的同步和传输问题。综...

黄铁山 吴绍春... 《计算机工程》 2008年03期 期刊

关键词: 流媒体 / 数据流压缩/编码 / 双流同步和传输

下载(72)| 被引(3)

一个Z的证明责任产生器  CNKI文献

在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求.证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工...

沈毅 缪淮扣... 《上海大学学报(自然科学版)》 2005年05期 期刊

关键词: 形式规格说明 / 验证 / Z / 证明责任

下载(64)| 被引(3)

可视化的SOZL编辑器的设计与实现  CNKI文献

1.引言从60年代“软件危机“出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法。这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法。在过去的三十多年中,人们在结构化方法和...

高晓雷 缪淮扣... 《计算机科学》 2002年07期 期刊

关键词: Structured / methods. / Object-oriented / methods.

下载(26)| 被引(3)

Delphi4.0操纵Oracle8中大型对象的方法  CNKI文献

通过一个具体的实例,介绍了Oracle8 数据库系统中的大型对象(LOBs)数据类型在MIS中的应用,详细给出了用Delphi4.0在Client/Sever、Browser/Server 结构中操纵Oracle8中的大型对象字段的方法,并给出了相应的程序段...

邵书滨 缪淮扣... 《计算机工程》 2000年12期 期刊

关键词: Oracle8 / 大型对象 / BDE / Client/Server

下载(10)| 被引(0)

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

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》