高如海
- 作品数：4 被引量：4H指数：1
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 集成图形化规格说明和形式方法的研究
- 在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产生的规格说明往往不够精确和完整,规格说明的不同使用者对于同一规格说明会有不同的理解,从而造成系统的...
- 高如海
- 关键词：UML形式化OBJECT-Z
- 文献传递
- 形式方法在安全临界系统中的应用
- 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软...
- 陈怡海缪淮扣高如海
- 关键词：定理证明软件开发
- 文献传递
- 一种获得形式化功能需求的方法被引量：4
- 2004年
- 用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的方法。本文定义了从UML用例图到Object -Z的转换规则 ,实现了用例图的形式化、获得了形式化的功能需求。
- 高如海缪淮扣陈怡海
- 关键词：用例图OBJECT-Z形式化UML软件开发过程
- 基于XMI格式的UML模型交换
- UML语言在软件企业和学术界得到日益广泛的应用,为了交换UML的模型信息,OMG提出了XML元数据交换格式(XMI)作为数据交换的标准格式.本文给出了XMI格式的简介,讨论XMI格式与MOF以及UML模型之间的关系,并以...
- 陈怡海缪淮扣高如海
- 关键词：UMLXMIXML
- 文献传递
