陈怡海
【姓名】 陈怡海
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;互联网技术;教育理论与教育管理;
【研究方向】 软件工程的研究
【发表文献关键词】 大型对象,BDE,Z规格说明,Oracle8,ZSL,WWW,规格说明,RSL,Z规格说明语言,Browser/Server,形式方法,Client/Server,功能需求,Object-Z,形式化,...
【工作单位】 上海大学
【曾工作单位】 上海大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/18 11 15 6 90 2210
中国期刊全文数据库    共找到17篇
[1]高洪皓;陈章进;陈怡海;王镜杰;.以软硬件协同开发为向导的本科创新实践课程探索[J]中国教育信息化.2021,(11)
[2]陈怡海;韦岚;刘悦;.基于Python的Moodle平台数据可视化[J]福建电脑.2018,(09)
[3]胡芸;陈怡海;.新版软件产品质量要求和测试标准剖析[J]信息技术与标准化.2015,(04)
[4]陈怡海;缪淮扣;.表格语言的分析比较[J]计算机科学.2014,(03)
[5]钱铃莉;陈怡海;.Generating test case specifications of web service composition using model checking[J]Journal of Shanghai University(English Edition).2011,(05)
[6]缪淮扣;陈怡海;.带OCL约束条件的类图到Object-Z规格说明的转换[J]计算机科学.2007,(01)
[7]郭慧梅;缪淮扣;陈怡海;.定理证明辅助工具Isabelle剖析与应用[J]计算机应用与软件.2007,(08)
[8]曹晓夏;缪淮扣;陈怡海;.通过模式进行CIM到PIM的模型转换(英文)[J]Journal of Shanghai University(English Edition).2008,(06)
[9]黄铁山;吴绍春;陈怡海;.流媒体技术在证券股评系统中的应用研究[J]计算机工程.2008,(03)
[10]高如海,缪淮扣,陈怡海.一种获得形式化功能需求的方法[J]计算机应用与软件.2004,(10)
更多
中国博士学位论文全文数据库    共找到1篇