| 基于代数的软件过程建模系统的设计与实现 |
| 其他题名 | design and implementation of software process modeling system based on algebra
|
| 杨国伟; 杨秋松; 翟健; 袁峰
|
| 2008
|
| 发表期刊 | 计算机工程与设计
 |
| ISSN | 1000-7024
|
| 卷号 | 29期号:3页码:530-534,539 |
| 摘要 | 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求. |
| 关键词 | 软件过程建模
多元π演算
Aspms系统
形式化分析
验证
代数
软件过程建模语言
建模系统
设计
软件开发过程
易于理解
表示方式
表达能力
图形化
形式化语义
组织
生产质量
开发效率
Π演算
模型
描述
矛盾
|
| 部门归属 | 中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
修改评论