陈怡海｜上海大学｜学者主页

期刊论文

2026

Modularization of Domain Ontology Based on DIS

Yue Wang, Yihai Chen, Ridha Khédri

Lecture notes in computer science

DOI

2022

DISEL: A Language for Specifying DIS-Based Ontologies

Yijie Wang, Yihai Chen, Deemah Alomair, Ridha Khédri

Lecture notes in computer science

DOI

2021

以软硬件协同开发为向导的本科创新实践课程探索

高洪皓，陈章进，陈怡海，王镜杰

《中国教育信息化》

2019

A novel approach to workload prediction using attention-based LSTM encoder-decoder network in cloud environment

Yonghua Zhu, Weilin Zhang, Yihai Chen, Honghao Gao

EURASIP Journal on Wireless Communications and Networking

DOI

2017

A Framework for Multi-view Reconciliation and for Medical Devices Personalization

Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao

Lecture notes in computer science

DOI

2016

The Interchange Format of Tabular Expressions Using XML

Mao Lin Huang, Yihai Chen, Ridha Khédri, Huaikou Miao

Lecture notes in computer science

DOI

2016

Message from program chair

Yihai Chen

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

DOI

2015

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

胡芸，陈怡海

《信息技术与标准化》

2014

表格语言的分析比较

陈怡海，缪淮扣

《计算机科学》

2014

Insulin Pump Software Certification

Yihai Chen, Mark S. Lawford, Hao Wang, Alan Wassyng

Lecture notes in computer science

DOI

2014

Envisioning a Requirements Specification Template for Medical Device Software

Hao Wang, Yihai Chen, Ridha Khédri, Alan Wassyng

Lecture notes in computer science

DOI

2013

Usage-pattern based Statistical Web Testing and Reliability Measurement

Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang

Procedia Computer Science

DOI

2013

Concept Analysis Based Approach to Statistical Web Testing

Chao Chen, Huaikou Miao, Yihai Chen

Lecture notes in computer science

DOI

2011

Generating test case specifications of web service composition using model checking

Ling-Li Qian, Yihai Chen

DOI

2010

Verifying Web Services Composition Based on Interface Automata Using SPIN

Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao

International Journal of Digital Content Technology and its Applications

DOI

2010

A model checking approach to Web application navigation model with session mechanism

Sun Mao-shan, Yihai Chen, Shengbo Chen, Mei-Jia

International Conference on Computer Application and System Modeling

DOI

2010

Towards Practical Modeling of Web Applications and Generating Tests

Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen

DOI

2008

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

曹晓夏，缪淮扣，陈怡海

Advances in Manufacturing

2008

Transformation from computation independent model to platform independent model with pattern

Xiao-Xia Cao, Huaikou Miao, Yihai Chen

DOI

2007

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

缪淮扣，陈怡海

《计算机科学》

2007

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

陈怡海

《上海大学》

2007

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

郭慧梅，缪淮扣，陈怡海

《计算机应用与软件》

2005

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

朱江，陈怡海，缪淮扣

《上海大学学报(自然科学版)》

2005

一个Z的证明责任产生器

沈毅，缪淮扣，文志诚，陈怡海

《上海大学学报(自然科学版)》

2005

THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION

Yihai Chen, Huaikou Miao, Jiang Zhu

DOI

2005

A Proof Obligation Generator for Z

Yihai Chen

Journal of Shanghai University (English Edition)

2004

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

陈怡海，缪淮扣

《计算机科学》

2004

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

高如海，缪淮扣，陈怡海

《计算机应用与软件》

2004

Integrating object-oriented methods and formal methods for requirement engineering

陈怡海，缪淮扣

Journal of Harbin Institute of Technology(New series)

2004

Structured Object-Z Software Specification Language

Xiaolei Gao, Huaikou Miao, Yihai Chen

Lecture notes in computer science

DOI

2002

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

高晓雷，缪淮扣，陈怡海

《计算机科学》

2002

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

陈怡海，缪淮扣

《计算机应用与软件》

2000

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

陈怡海，缪淮扣，邵书滨

《上海大学学报(自然科学版)》

预印本

2024

Domain-Adequacy of Ontologies with Statistically-Defined Concepts: A Disel Plug-In

Ridha Khédri, Yihai Chen, Yijie Wang, Deemah Alomair

SSRN Electronic Journal

DOI

陈怡海

精选作品

期刊论文

Modularization of Domain Ontology Based on DIS

DISEL: A Language for Specifying DIS-Based Ontologies

以软硬件协同开发为向导的本科创新实践课程探索

A novel approach to workload prediction using attention-based LSTM encoder-decoder network in cloud environment

A Framework for Multi-view Reconciliation and for Medical Devices Personalization

The Interchange Format of Tabular Expressions Using XML

Message from program chair

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

表格语言的分析比较

Insulin Pump Software Certification

Envisioning a Requirements Specification Template for Medical Device Software

Usage-pattern based Statistical Web Testing and Reliability Measurement

Concept Analysis Based Approach to Statistical Web Testing

Generating test case specifications of web service composition using model checking

Verifying Web Services Composition Based on Interface Automata Using SPIN

A model checking approach to Web application navigation model with session mechanism

Towards Practical Modeling of Web Applications and Generating Tests

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

Transformation from computation independent model to platform independent model with pattern

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

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

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

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

一个Z的证明责任产生器

THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION

A Proof Obligation Generator for Z

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

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

Integrating object-oriented methods and formal methods for requirement engineering

Structured Object-Z Software Specification Language

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

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

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

预印本

Domain-Adequacy of Ontologies with Statistically-Defined Concepts: A Disel Plug-In

研究方向