您的位置: 专家智库 > >

王建龙

作品数:2 被引量:2H指数:1
供职机构:燕山大学信息科学与工程学院更多>>
发文基金:河北省自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇软件体系结构
  • 1篇上下文
  • 1篇上下文相关
  • 1篇体系结构

机构

  • 2篇燕山大学

作者

  • 2篇牛景春
  • 2篇申利民
  • 2篇王建龙
  • 1篇彭思维
  • 1篇马川

传媒

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

年份

  • 1篇2009
  • 1篇2008
2 条 记 录,以下是 1-2
排序方式:
基于上下文相关的软件体系结构求精方法被引量:1
2009年
为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程。最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型。
申利民马川王建龙牛景春彭思维
关键词:体系结构形式化上下文相关
基于上下文有关的构件求精方法被引量:1
2008年
为了有效地复用构件,首先提出了上下文有关的求精文法,并为此对上下文和上下文相关概念进行了重定义;接着将该文法引入到体系结构求精中,并从结构、行为、属性方面对构件求精进行了分析,然后为基于上下文有关的构件求精方法建立了模型,阐述了构件求精的过程;最后通过实例进一步说明了该求精方法。
王建龙申利民牛景春
共1页<1>
聚类工具0