嵇海明
作品数： 5被引量：37H指数：3
  • 所属机构:华东师范大学信息科学技术学院计算机科学技术系
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术

相关作者

杨宗源
作品数：37被引量：167H指数：7
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络
黄海涛
作品数：7被引量：42H指数：3
供职机构：华东师范大学
研究主题：软件工程 面向对象 人工智能 软件系统 软件工程方法
黄德浩
作品数：4被引量：19H指数：2
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 软件质量 LP LARCH IP协议
作品列表
基于Larch/C的组件形式规范匹配被引量：2
2003年
主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。
嵇海明黄德浩杨宗源
关键词：LP
基于构件的开发方法及其支撑工具的研究
软件的开发方法经历了面向过程的程序设计、结构化程序设计、面向对象的程序设计，以及由它们所衍生出的一些其它的程序设计思想：基于构件的开发(CBD)、设计模式、应用框架和面向智能体的程序设计等等。这些方法的提出都是为了一个共...
嵇海明
关键词：软件复用程序设计
文献传递
PE文件格式剖析被引量：10
2004年
主要分析了PE(PortableExecutable)文件格式,重点探讨了PE文件中的输入表、输出表以及资源段的格式,还探究了在微软全新的.Net平台上对PE文件的扩展,给出了一些分析PE文件格式的工具。
嵇海明杨宗源
关键词：PE文件格式
LL(1)文法句法分析程序自动生成的研究及实现被引量：3
2003年
文中分析了对LL(1)文法采用递归子程序的方法进行句法分析的特点 ,讨论了递归子程序自动生成的一般规则 ,最后根据这些规则给出了递归子程序自动生成的算法及其实现。
嵇海明杨宗源黄海涛
关键词：LL(1)文法自动生成句法分析
软件工程方法的新进展:面向Agent的软件工程被引量：22
2003年
面向Agent的软件工程方法是软件工程领域的一种新方法,与现有的开发方法相比,Agent具有较强能力对复杂软件系统中的活动实体进行高层抽象。分析了面向Agent软件工程方法对复杂软件系统建模的成功之处,并且对面向Agent的高层建模方法和基于面向对象方法的面向Agent的设计方法作了一些研究。
嵇海明杨宗源黄海涛
关键词：软件工程方法AGENT软件工程软件系统面向对象人工智能