咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 控制科学与工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 3 篇 软件进程
  • 1 篇 进程仓库
  • 1 篇 软件开发
  • 1 篇 模块
  • 1 篇 分解运算
  • 1 篇 等价算子
  • 1 篇 需求
  • 1 篇 算子
  • 1 篇 算法
  • 1 篇 数据库
  • 1 篇 进程演化
  • 1 篇
  • 1 篇 图形表示

机构

  • 1 篇 武汉化工学院
  • 1 篇 马鞍山钢铁公司职...
  • 1 篇 中国建设银行安徽...
  • 1 篇 武汉大学

作者

  • 1 篇 叶国林
  • 1 篇 杨荣强
  • 1 篇 庄芸
  • 1 篇 李晖
  • 1 篇 陈世鸿

语言

  • 3 篇 中文
检索条件"主题词=软件进程"
3 条 记 录,以下是1-10 订阅
排序:
软件进程图形表示算法
收藏 引用
小型微型计算机系统 2009年 第5期30卷 863-867页
作者: 李晖 陈世鸿 武汉大学计算机学院 湖北武汉430079
在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求’,以形式推导方法,详细分析了如何把‘需求’的形式语义置于图形树之上,在抽象树上实现语义定义的方法;建立算法,实现软件进程计算结... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
软件进程分解的理论分析
收藏 引用
武汉化工学院学报 2005年 第1期27卷 91-93页
作者: 庄芸 武汉化工学院环境与城市建设学院 湖北武汉430074
讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质;说明了SP作为一个模块M对它分解运算的一般模型和谓词公式;分析了等价算子集ASeteq(M)及其相关结论.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种基于数据库的进程演化机制
收藏 引用
安徽大学学报(自然科学版) 2000年 第2期24卷 19-23页
作者: 叶国林 杨荣强 马鞍山钢铁公司职工大学 安徽马鞍山243000 中国建设银行安徽省分行科技处 安徽合肥230000
软件开发中 ,以进程为中心的环境已经成为新一代的软件开发环境 ,它的目标是对整个软件开发周期提供自动化的支持。实际的软件开发任务是一个不断变化的动态进程 ,它需要以进程为中心的环境来支持进程演化。本文提出了一种以增量方式... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论