您的位置： 专家智库 > >

赵硕

作品数：2 被引量：5H指数：1
供职机构：浙江师范大学数理与信息工程学院更多>>
发文基金：浙江省自然科学基金浙江省科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇形式化
  • 1篇形式化方法
  • 1篇形式化描述
  • 1篇形式化语义
  • 1篇软件系统
  • 1篇体系结构
  • 1篇范畴论

机构

  • 2篇浙江师范大学

作者

  • 2篇赵硕
  • 1篇陈中育
  • 1篇肖春水

传媒

  • 1篇计算机工程

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
构件的形式化描述及其组合研究
随着软件需求的不断增加，软件规模不断扩大、功能日趋复杂，传统的软件开发难以满足用户的需求，目前，基于构件的开发方法已经成为一个研究热点。通过构件的复用和组合来构建软件系统，可以显著缩短开发周期、提高软件生成效率、确保软件...
赵硕
关键词：形式化语义软件系统体系结构
基于范畴论的构件行为组合研究被引量：4
2012年
针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。
赵硕陈中育肖春水
关键词：范畴论形式化方法
全选 清除 导出
共1页<1>
聚类工具0