陈怡海
- 作品数：24 被引量：36H指数：4
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
- 相关领域：自动化与计算机技术文化科学社会学经济管理更多>>
- 形式方法在安全临界系统中的应用
- 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软...
- 陈怡海缪淮扣高如海
- 关键词：定理证明软件开发
- 文献传递
- 基于开源软件的精品课程网站建设方案
- 精品课程是指具有特色和一流教学水平的优秀课程.2010年颁布的国家精品课程评审指标中指出'教学条件方面,重视优质教学资源的建设和完善,加强课程网站的辅助教学功能',因此精品课程网站建设是精品课程建设过程中不可或缺的重要环...
- 陈怡海曾红卫
- 关键词：高等教育精品课程网站建设开源软件
- 文献传递
- 可信网络软件的验证与测试
- 缪淮扣刘少英曾红卫陈怡海许庆国陈圣波王皙刘攀刘阳高洪皓梅佳
- 课题组按照课题的研究范围和研究内容进行研究，在网络软件的建模、需求建模及模型变换、Web服务的建模与集成以及验证、基于模型的Web应用建模与测试等问题的理论、方法、实现技术等方面取得了显著进展和丰硕成果，开发了相应的工具...
- 关键词：
- 关键词：软件测试
- 一个Z的证明责任产生器被引量：3
- 2005年
- 在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求.证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工作过程.完成证明责任产生器的工作难点就在于如何生成证明责任,本文对这一工作进行了详细的介绍.
- 沈毅缪淮扣文志诚陈怡海
- 关键词：形式规格说明Z
- 面向对象软件规格说明的构造及确认技术研究
- 随着计算机硬件性能迅速提高和价格的持续下降，计算机系统应用范围不断地扩大，软件系统也日益复杂，研究如何提高软件质量和软件开发效率的工作变得日益重要。 UML语言已成为软件工程领域事实上的标准建模语言，它提供了丰富的建模机...
- 陈怡海
- 关键词：UML形式化OBJECT-ZXML动画模拟
- 文献传递
- 一种在万维网上显示Z规格说明的方法被引量：1
- 2000年
- 万维网的普及和发展给软件工程师提供了交流和共享知识的场所．Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言．Ｚ语言用大量的数学符号和模式来构造规格说明．然而，当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号，此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的．本文实现了一种在万维网上显示Ｚ规格说明的解决方法，并给出了程序代码和实例．
- 陈怡海缪淮扣邵书滨
- 关键词：Z规格说明HTML万维网Z语言软件开发
- 表格语言的分析比较
- 2014年
- 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
- 陈怡海缪淮扣
- 可视化的SOZL编辑器的设计与实现被引量：3
- 2002年
- 1.引言
从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作.
- 高晓雷缪淮扣陈怡海
- 关键词：面向对象软件开发可视化
- OCL与Object-Z作为UML约束语言的分析比较被引量：5
- 2004年
- UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。
- 陈怡海缪淮扣
- 关键词：OBJECT-ZUML模型OCL面向对象建模语言对象约束语言
- 流媒体技术在证券股评系统中的应用研究被引量：1
- 2008年
- 流媒体技术是在数据网络上以数据流的方式传输多媒体信息的技术,被认为是未来高速网络的主流应用之一。该文研究流媒体关键技术中的音视频数据采集和编码技术,解决在多媒体数据应用平台中双数据流的同步和传输问题。综合应用到某证券公司视讯管理平台和证券股评系统,有效地实现了在数据网络上的实时多点视频数据流同步传输和交互。
- 黄铁山吴绍春陈怡海
- 关键词：流媒体
