朱彬
- 作品数:23 被引量:55H指数:5
- 供职机构:上海第二工业大学更多>>
- 发文基金:国家自然科学基金上海第二工业大学校基金上海市自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学电子电信天文地球更多>>
- 软件工程专业服务外包人才培养模式被引量:6
- 2012年
- 软件外包产业正在蓬勃发展,探索适合软件服务外包发展有效的人才培养模式,是高校软件工程毕业生增加就业机会的重要途径。本文通过对软件服务外包人才需求状况的描述和分析,明确软件服务人才和软件工程的相关要素,探讨软件工程专业对软件服务外包人才的培养模式。
- 朱彬张世明王帅
- 关键词:软件外包软件工程
- 基于决策树的回归测试子集选取
- 2011年
- 软件版本的频繁变更及测试资源的限制要求软件回归测试采用新的测试用例集合的生成和约简技术。为此,介绍基于决策树的回归测试子集的选取方法,将测试用例和测试需求作为一种知识表示系统,对测试知识表示系统进行约简,将约简后的系统构造成一棵决策树,由决策树获得被约简的回归测试子集。理论分析证明该方法复杂度较低。
- 朱彬
- 关键词:决策树
- 《移动终端程序设计》课程在本科生编程能力培养中的教学实践研究被引量:2
- 2018年
- 本科生编程能力培养是高校软件工程专业的教学核心,也是提高该专业学生就业率的重要保障。文章围绕《移动终端程序设计》课程的教学和实践,介绍本科生编程能力培养的方案和相关探索。该方法为应用技术型高校软件工程专业教学改革提供了实践经验,也为新工科建设提供了参考和借鉴。
- 杨晓贤张世明朱彬
- 关键词:编程能力软件工程CDIO
- 使用Object-Z获取形式需求被引量:1
- 2008年
- 针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题,使用统一过程建立用UML描述的需求模型并对其进行形式化,获得用Object-Z描述形式需求说明的方法和步骤,并结合实例进行论述.提出利用形式方法验证和确认非形式需求规格说明的过程.该研究为验证和确认非形式规格说明提供1种有效方法.
- 朱彬王帅王娜
- 关键词:UMLOBJECT-Z
- 网格中基于角色的访问控制模型研究被引量:2
- 2008年
- 提出了一种在网格环境中基于角色的访问控制模型,对其中的网格环境、RBAC策略以及模型结构和访问控制管理方法等进行了描述。该模型适应网格环境下访问控制管理的复杂性,能够有效保证网格中共享资源的安全。
- 王帅熊小华朱彬
- 关键词:网格访问控制角色
- UML用况图元模型的问题分析
- 用况模型一直都是主流建模语言不可或缺的一部分。但是当前的用况模型在语义、语法和表示法上都有一些问题。许多学者都在讨论或者试图解决这些问题,但是他们多半是针对模型的某个方面,而不是针对整个模型(将整个模型的所有问题作为一个...
- 朱彬王娜
- 关键词:用况UML元模型
- 文献传递
- Z规格说明的测试用例自动生成被引量:1
- 2006年
- 软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.
- 朱彬缪淮扣王娜
- 关键词:测试用例线性规划形式规格说明Z
- E-Learning中模糊用户模型的应用
- 2007年
- 提出了将模糊用户模型(FUM)应用到E-Learning中的方法,通过它对用户的知识水平做出推理判断,从而给出适合水平的学习资源,在一定程度上增强了E-Learning系统的智能程度.并结合计算机教育的E-Learning系统加以说明.
- 朱彬王娜王安保
- 关键词:个性化学习E-LEARNING
- 一种智能配电网中央信息处理系统的防御方法
- 本发明公开了一种智能配电网的防御方法,其步骤:1对中央信息处理系统初始化;2设置一个n元布尔函数<Image file="2014101734958100004DEST_PATH_IMAGE002.GIF" he="7"...
- 王潮侯玉灵贾徽徽姜丽莹尹宝张焕国包启树刘君朱彬
- 文献传递
- UML用况图元模型的问题分析
- 用况模型一直都是主流建模语言不可或缺的一部分。但是当前的用况模型在语义、语法和表示法上都有一些问题。许多学者都在讨论或者试图解决这些问题,但是他们多半是针对模型的某个方面,而不是针对整个模型(将整个模型的所有问题作为一个...
- 朱彬王娜
- 关键词:用况UML元模型
- 文献传递