咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 验证
  • 1 篇 aspms系统
  • 1 篇 软件过程建模
  • 1 篇 形式化分析
  • 1 篇 多元演算

机构

  • 1 篇 中国科学院软件研...

作者

  • 1 篇 yuan feng
  • 1 篇 zhai jian
  • 1 篇 杨国伟
  • 1 篇 yang qiu-song
  • 1 篇 yang guo-wei
  • 1 篇 袁峰
  • 1 篇 杨秋松
  • 1 篇 翟健

语言

  • 1 篇 中文
检索条件"主题词=ASPMS系统"
1 条 记 录,以下是1-10 订阅
排序:
基于代数的软件过程建模系统的设计与实现
收藏 引用
计算机工程与设计 2008年 第3期29卷 530-534,539页
作者: 杨国伟 杨秋松 翟健 袁峰 中国科学院软件研究所互联网软件技术实验室
软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保... 详细信息
来源: 评论