基于代数的软件过程建模系统的设计与实现
文献类型：期刊论文
| 作者 | 杨国伟 ; 杨秋松 ; 翟健 ; 袁峰 |
| 刊名 | 计算机工程与设计
 |
| 出版日期 | 2008 |
| 卷号 | 29期号:3页码:530-534,539 |
| 关键词 | 软件过程建模 多元π演算 ASPMS系统 形式化分析 验证 代数 软件过程建模语言 建模系统 设计 软件开发过程 易于理解 表示方式 表达能力 图形化 形式化语义 组织 生产质量 开发效率 π演算 模型 描述 矛盾 |
| ISSN号 | 1000-7024 |
| 其他题名 | design and implementation of software process modeling system based on algebra |
| 中文摘要 | 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求. |
| 语种 | 中文 |
| 公开日期 | 2011-06-10 |
| 源URL | [http://124.16.136.157/handle/311060/10351]  |
| 专题 | 软件研究所_互联网软件技术实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 杨国伟,杨秋松,翟健,等. 基于代数的软件过程建模系统的设计与实现[J]. 计算机工程与设计,2008,29(3):530-534,539. |
| APA | 杨国伟,杨秋松,翟健,&袁峰.(2008).基于代数的软件过程建模系统的设计与实现.计算机工程与设计,29(3),530-534,539. |
| MLA | 杨国伟,et al."基于代数的软件过程建模系统的设计与实现".计算机工程与设计 29.3(2008):530-534,539. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。