您的位置： 专家智库 > >

黄德浩

作品数：4 被引量：19H指数：2
供职机构：华东师范大学信息科学技术学院计算机科学技术系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇软件工程
  • 1篇原理及实现
  • 1篇软件产品
  • 1篇软件质量
  • 1篇加密
  • 1篇CBSE
  • 1篇INTRAN...
  • 1篇IP协议
  • 1篇LP
  • 1篇LARCH

机构

  • 4篇华东师范大学

作者

  • 4篇黄德浩
  • 4篇杨宗源
  • 2篇黄海涛
  • 1篇嵇海明

传媒

  • 3篇计算机工程
  • 1篇计算机应用与...

年份

  • 1篇2003
  • 3篇2002
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于Larch/C的组件形式规范匹配被引量：2
2003年
主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。
嵇海明黄德浩杨宗源
关键词：LP
组件文档的研究
2002年
本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。
黄德浩杨宗源
关键词：CBSE软件工程软件产品
基于IP加密的VBIC系统原理及实现
2002年
分析了的原理,并在此基础上开发了虚拟专网系统,详细讨论了系统的设计方案和实现细节。
黄海涛杨宗源黄德浩
关键词：INTRANETIP协议加密
基于框架表示的组件库模型被引量：17
2002年
分析比较了现有的组件表示和检索方法,认为刻面分类法具有较高的实用价值,但它缺乏领域知识深化表达的能力,对同义属性的解决方案也不尽完善。在此基础上,结合了专家系统中知识表示的方法,提出了基于框架表示的组件库模型。
黄德浩杨宗源黄海涛
关键词：软件质量软件工程
全选 清除 导出
共1页<1>
聚类工具0