搜索筛选:
搜索耗时0.0921秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：高如海,,
来源：新闻通讯 年份：1986
本文所介绍的,是一位业余通讯员、共产党员汪先义同志。他数年如一日,为报纸、电台写稿,提供信息。事实证明,他确实为新闻事业做出了贡献。汪先义,今年四十六岁,是南京轮船...
[学位论文] 作者：高如海,
来源：上海大学 年份：2004
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产生的规格说明往往不够精确和完整,规格说明的...
[期刊论文] 作者：高如海,缪淮扣,陈怡海,
来源：计算机应用与软件 年份：2004
用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的方法。本文定义了从UML用例图到Object -Z的......
[会议论文] 作者：陈怡海,缪淮扣,高如海,
来源：2003'全国软件与应用学术会议 年份：2003
软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全...
[会议论文] 作者：陈怡海,缪淮扣,高如海,
来源：2003中国计算机大会 年份：2003
UML语言在软件企业和学术界得到日益广泛的应用,为了交换UML的模型信息,OMG提出了XML元数据交换格式(XMI)作为数据交换的标准格式.本文给出了XMI格式的简介,讨论XMI格式与MOF...
[期刊论文] 作者：叶洛池,武景林,朱晓晖,高如海,卢新永,王俊骅,,
来源：华东公路 年份：2021
随着自动驾驶的发展,自动驾驶的风险管理也愈发受到人们的重视。根据事故致因理论,将自动驾驶风险点分为数据风险、环境风险、车辆自身风险、人因风险和管理风险五大风险点,并结合现有文献进行详细分析与探讨。目的在于为自动驾驶风险管控人员提供决策支持,有针......
相关搜索：
