作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

可视化与形式化相结合的软件体系结构描述研究  CNKI文献

软件体系结构是20世纪90年代软件工程领域出现的一个新的研究方向。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。研究软件体系结构的首要问题是如何描述一个软件系统的体系结构。基于此,本文通过...

黄正宝 导师:张广泉 苏州大学 2006-04-01 硕士论文

关键词: 软件体系结构描述 / 时序逻辑 / UML / 2.0

下载(296)| 被引(10)

基于Android的语音导游系统的设计与实现  CNKI文献

旅游市场迅猛发展,在移动应用的时代背景下,能够提供语音导游的APP却少之又少。基于此种情况,论文主要介绍了基于Android的语音导游系统的设计与实现,提供语音实时导游,当地特色商品、美食、文化活动推荐,个人出行计划...

黄正宝 《电脑知识与技术》 2018年35期 期刊

关键词: 语音导游 / Android / TTS / 百度地图

下载(158)| 被引(0)

UML 2.0顺序图的XYZ/E时序逻辑语义研究  CNKI文献

UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语...

黄正宝 张广泉 《计算机科学》 2006年08期 期刊

关键词: 时序逻辑 / 形式化语义 / UML2.0 / 顺序图

下载(186)| 被引(28)

一种新型的软件体系结构描述方法研究  CNKI文献

UML2.0与XYZ/ADL在软件体系结构描述方面具有很强的互补性,如果将两者结合起来描述软件体系结构,不仅便于开发人员之间的理解和交流,也可以对体系结构进行下一步的分析和验证。文章分析了UML2.0跟UML1.X相比在软件体系...

黄正宝 张广泉 《微电子学与计算机》 2006年12期 期刊

关键词: 软件体系结构 / 体系结构描述语言 / 形式化描述 / 可视化描述

下载(239)| 被引(14)

高职Java Web开发课程体系构建与教学实施  CNKI文献

Java Web开发是高职软件专业的核心培养技能,但输出的学生和企业需求之间还存在一些差距。文章分析了Java Web开发课程教学存在的主要问题,结合企业需求,对Java Web开发课程体系进行了构建,并以CDIO模式为指导,阐述了...

黄正宝 《电脑知识与技术》 2016年34期 期刊

关键词: Java / Web / 课程体系 / 教学实施

下载(88)| 被引(2)

基于模型的软件测试方法研究  CNKI文献

基于模型的软件测试方法不仅可以有效地提高测试效率,提高测试用例生成的自动化程度,进行测试失效辨识,也有利于评价测试结果。基于此,本文给出了比较典型的软件测试模型,总结了基于模型的软件测试过程,并分析了基于模...

黄正宝 《科技经济市场》 2008年12期 期刊

关键词: 软件测试 / 测试模型 / UML / 测试用例

下载(189)| 被引(5)

基于CDIO模式的高职数据库应用技术课程教学改革  CNKI文献

数据库应用技术作为高职软件技术专业的一门核心课程,在传统的教学过程中却存在一些问题。文章分析了传统教学模式存在的主要问题,结合学校实际情况,以工程项目从研发到运行的生命周期为载体,从教学目标和内容、教学组...

黄正宝 《科技视界》 2013年35期 期刊

关键词: CDIO / 教学改革 / 数据库 / 分组教学

下载(38)| 被引(5)

CDIO模式在高职软件测试技术课程教学中的应用  CNKI文献

CDIO模式是一种先进的工程教育理念和人才培养模式,本文针对软件测试技术在传统的教学过程中却存在的一些问题,结合我院实际情况,从教学目标和内容、教学组织、教学手段、教学考核等几个方面,探讨了CDIO模式在软件测试...

黄正宝 崔恒义... 《电脑知识与技术》 2014年03期 期刊

关键词: CDIO / 软件测试 / 教学改革 / 分组教学

下载(51)| 被引(2)

适合中小型企业的软件开发方法研究  CNKI文献

基于构件的开发方法是比较成熟的软件复用技术,但它不适合中小型软件企业采用,敏捷开发过程可以应对需求的变化和不明确的需求,可以帮助企业快速响应市场赢得竞争,但它不是面向复用的,缺乏明确的面向复用的策略,而两者...

黄正宝 《科技信息》 2011年01期 期刊

关键词: 软件复用 / 构件 / 敏捷开发 / 迭代

下载(67)| 被引(5)

UML 2.0状态图的XYZ/E时序逻辑语义研究  CNKI文献

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UM...

黄正宝 《科技信息(科学教研)》 2008年23期 期刊

关键词: 软件体系结构描述 / 形式化语义 / UML / 2.0

下载(51)| 被引(0)

网络协议形式化模型的分析与应用  CNKI文献

网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实...

张广泉 黄正宝... 《计算机工程与应用》 2005年23期 期刊

关键词: 网络协议 / 形式化模型 / 时序逻辑 / 协议描述

下载(312)| 被引(12)

高职院校职业素养考核体系的研究与构建  CNKI文献

目前各高职院校对学生职业素养的培养越来越重视,通过多种培养途径进行了实践,但学生职业素养水平仍不容乐观。究其原因主要是现有考核体系难以对学生日常行为规范进行全面考核,导致学生对自己的行为缺乏约束,无法正确...

张成年 黄正宝... 《无锡商业职业技术学院学报》 2013年02期 期刊

关键词: 高职院校 / 职业素养 / 考核体系

下载(133)| 被引(6)

UML 2.0的形式化语义研究  CNKI文献

由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图...

张广泉 戎玫... 《南京邮电大学学报(自然科学版)》 2007年03期 期刊

关键词: 线性时序逻辑 / 形式化语义 / UML2.0 / 顺序图

下载(277)| 被引(18)

一种基于时序逻辑的UML 2.0形式化语义  CNKI文献

1 引言 UML作为一种可视化的建模语言,可以从不同视角描述系统的不同侧面。由于复杂系统的建模往往需要进行严格的形式化分析和验证,而UML 却缺乏精确的形式化语义,限制了它的有效性,因而目前有很多研究UML形式化语义...

黄正宝 张广泉 2006年全国理论计算机科学学术年会论文集 2006-08-01 中国会议

关键词: Temporal / logic / Formal / semantics

下载(64)| 被引(1)

基于XYZ/E的CA系统体系结构描述  CNKI文献

XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用...

张广泉 刘剑云... 《重庆师范大学学报(自然科学版)》 2005年03期 期刊

关键词: XYZ/E / CA / RA / 体系结构

下载(36)| 被引(2)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状