您的位置: 专家智库 > >

黄正宝

作品数:16 被引量:65H指数:5
供职机构:无锡商业职业技术学院更多>>
发文基金:国家重点实验室开放基金江苏省高校自然科学研究项目国家自然科学基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 13篇期刊文章
  • 1篇学位论文
  • 1篇会议论文
  • 1篇专利

领域

  • 13篇自动化与计算...
  • 3篇文化科学

主题

  • 5篇形式化
  • 5篇时序逻辑
  • 4篇形式化语义
  • 4篇高职
  • 4篇XYZ/E
  • 3篇体系结构
  • 3篇课程
  • 3篇教学
  • 3篇UML_2....
  • 2篇软件测试
  • 2篇软件开发
  • 2篇软件体系结构
  • 2篇软件体系结构...
  • 2篇顺序图
  • 2篇分组教学
  • 2篇UML
  • 2篇UML2.0
  • 2篇CDIO
  • 2篇CDIO模式
  • 1篇地图

机构

  • 11篇无锡商业职业...
  • 6篇苏州大学
  • 2篇暨南大学
  • 2篇重庆师范大学
  • 1篇中国科学院软...

作者

  • 16篇黄正宝
  • 6篇张广泉
  • 2篇张成年
  • 2篇戎玫
  • 1篇崔恒义
  • 1篇杜海涛
  • 1篇程冠琦
  • 1篇赵晓峰
  • 1篇刘剑云

传媒

  • 3篇电脑知识与技...
  • 1篇微电子学与计...
  • 1篇计算机工程与...
  • 1篇科技经济市场
  • 1篇计算机科学
  • 1篇无锡商业职业...
  • 1篇科技风
  • 1篇重庆师范大学...
  • 1篇南京邮电大学...
  • 1篇科技信息
  • 1篇科技视界

年份

  • 2篇2018
  • 1篇2017
  • 1篇2016
  • 1篇2014
  • 2篇2013
  • 1篇2011
  • 1篇2008
  • 1篇2007
  • 4篇2006
  • 2篇2005
16 条 记 录,以下是 1-10
排序方式:
适合中小型企业的软件开发方法研究被引量:1
2011年
基于构件的开发方法是比较成熟的软件复用技术,但它不适合中小型软件企业采用,敏捷开发过程可以应对需求的变化和不明确的需求,可以帮助企业快速响应市场赢得竞争,但它不是面向复用的,缺乏明确的面向复用的策略,而两者具有很好的互补性,因此,本文提出一种把两者结合起来适合于中小型软件企业的开发方法。
黄正宝
关键词:软件复用敏捷开发迭代
UML 2.0的形式化语义研究被引量:10
2007年
由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
张广泉戎玫黄正宝
关键词:线性时序逻辑形式化语义UML2.0顺序图XYZ/E
一种新型的软件体系结构描述方法研究被引量:10
2006年
UML2.0与XYZ/ADL在软件体系结构描述方面具有很强的互补性,如果将两者结合起来描述软件体系结构,不仅便于开发人员之间的理解和交流,也可以对体系结构进行下一步的分析和验证。文章分析了UML2.0跟UML1.X相比在软件体系结构描述方面的改进之处,根据UML2.0与XYZ/ADL在软件体系结构描述中的对应关系,提出一种通过定义UML2.0的XYZ/E语义,将UML2.0与XYZ/ADL结合起来描述软件体系结构的一种新的途径。
黄正宝张广泉
关键词:软件体系结构体系结构描述语言形式化描述可视化描述XYZ/ADL
CDIO模式在高职软件测试技术课程教学中的应用被引量:3
2014年
CDIO模式是一种先进的工程教育理念和人才培养模式,本文针对软件测试技术在传统的教学过程中却存在的一些问题,结合我院实际情况,从教学目标和内容、教学组织、教学手段、教学考核等几个方面,探讨了CDIO模式在软件测试技术课程教学中的应用。
黄正宝崔恒义张成年
关键词:CDIO软件测试分组教学
网络协议形式化模型的分析与应用被引量:5
2005年
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
张广泉黄正宝戎玫
关键词:网络协议时序逻辑
高职JavaWeb开发课程体系构建与教学实施被引量:2
2016年
Java Web开发是高职软件专业的核心培养技能,但输出的学生和企业需求之间还存在一些差距。文章分析了Java Web开发课程教学存在的主要问题,结合企业需求,对Java Web开发课程体系进行了构建,并以CDIO模式为指导,阐述了具体的教学实施。
黄正宝
关键词:JAVAWEB课程体系教学实施
基于XYZ/E的CA系统体系结构描述被引量:2
2005年
XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
张广泉刘剑云黄正宝
关键词:XYZ/ECARA体系结构组件
一种基于TensorFlow框架的机器人远程语音控制系统
本发明提供一种基于TensorFlow框架的机器人远程语音控制系统,包括:手机终端、机器人、通讯模块;所述手机终端包括:语音采集模块,采集语音指令;语音识别模块,通过手机APP采集语音,使用TensorFlow卷积神经网...
过馨露杜海涛程冠琦黄正宝
文献传递
可视化与形式化相结合的软件体系结构描述研究
软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。研究软件体系结构的首要问题是如何描述一个软件系统的体系结构。基于此,本文通过把UML2.0...
黄正宝
关键词:软件体系结构描述时序逻辑形式化语义软件工程
文献传递
高职院校职业素养考核体系的研究与构建被引量:5
2013年
目前各高职院校对学生职业素养的培养越来越重视,通过多种培养途径进行了实践,但学生职业素养水平仍不容乐观。究其原因主要是现有考核体系难以对学生日常行为规范进行全面考核,导致学生对自己的行为缺乏约束,无法正确引导学生养成良好的职业素养,为此文章研究构建了一套职业素养考核体系,旨在更好地培养学生的职业素养。
张成年黄正宝赵晓峰
关键词:高职院校
共2页<12>
聚类工具0