您的位置： 专家智库 > >

冷家锋

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

合作作者

文献类型

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

领域

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

主题

  • 1篇形式化
  • 1篇形式化描述
  • 1篇序列图
  • 1篇软件开发
  • 1篇消息序列图
  • 1篇PI演算
  • 1篇标号
  • 1篇标号迁移系统

机构

  • 2篇浙江师范大学

作者

  • 2篇冷家锋
  • 1篇陈中育
  • 1篇张晓春

传媒

  • 1篇计算机与现代...

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Pi演算的软件过程形式化描述被引量：1
2007年
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。
冷家锋张晓春陈中育
关键词：PI演算形式化
基于场景的行为模型合成技术研究
需求工程是软件工程初期的重要工作，其目的是得到对需求的准确清晰一致的描述以及相应的求解限制。随着需求工程的发展，基于场景的需求获取逐步得到了软件工程界的重视，出现了基于场景的需求获取方法及工具。 本文主要针对需...
冷家锋
关键词：消息序列图标号迁移系统软件开发
文献传递
全选 清除 导出
共1页<1>
聚类工具0