您的位置： 专家智库 > >

嵇海明

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

合作作者

文献类型

  • 4篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇软件复用
  • 1篇软件工程
  • 1篇软件工程方法
  • 1篇软件系统
  • 1篇人工智能
  • 1篇自动生成
  • 1篇面向对象
  • 1篇句法
  • 1篇句法分析
  • 1篇复用
  • 1篇PE文件
  • 1篇PE文件格式
  • 1篇LL(1)文...
  • 1篇LP
  • 1篇程序设计
  • 1篇程序自动生成
  • 1篇LARCH
  • 1篇AGENT

机构

  • 5篇华东师范大学

作者

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

传媒

  • 2篇计算机应用研...
  • 1篇计算机工程
  • 1篇计算机应用

年份

  • 2篇2004
  • 3篇2003
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于构件的开发方法及其支撑工具的研究
软件的开发方法经历了面向过程的程序设计、结构化程序设计、面向对象的程序设计，以及由它们所衍生出的一些其它的程序设计思想：基于构件的开发(CBD)、设计模式、应用框架和面向智能体的程序设计等等。这些方法的提出都是为了一个共...
嵇海明
关键词：软件复用程序设计
文献传递
基于Larch/C的组件形式规范匹配被引量：2
2003年
主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。
嵇海明黄德浩杨宗源
关键词：LP
软件工程方法的新进展:面向Agent的软件工程被引量：22
2003年
面向Agent的软件工程方法是软件工程领域的一种新方法,与现有的开发方法相比,Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处,并且对面向Agent的高层建模方法和基于面向对象方法的面向Agent的设计方法作了一些研究。
嵇海明杨宗源黄海涛
关键词：软件工程方法AGENT软件工程软件系统面向对象人工智能
PE文件格式剖析被引量：10
2004年
主要分析了PE(PortableExecutable)文件格式,重点探讨了PE文件中的输入表、输出表以及资源段的格式,还探究了在微软全新的.Net平台上对PE文件的扩展,给出了一些分析PE文件格式的工具。
嵇海明杨宗源
关键词：PE文件格式
LL(1)文法句法分析程序自动生成的研究及实现被引量：3
2003年
文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点 ,讨论了递归子程序自动生成的一般规则 ,最后根据这些规则给出了递归子程序自动生成的算法及其实现。
嵇海明杨宗源黄海涛
关键词：LL(1)文法自动生成句法分析
全选 清除 导出
共1页<1>
聚类工具0