Institutional Repository
| 基于代数的软件过程建模系统的设计与实现 | |
| Alternative Title | design and implementation of software process modeling system based on algebra |
| 杨国伟; 杨秋松; 翟健; 袁峰 | |
| 2008 | |
| Source | 计算机工程与设计
 |
| ISSN | 1000-7024 |
| Volume | 29Issue:3Pages:530-534,539 |
| English Abstract | 软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求. |
| Keyword | 软件过程建模 多元π演算 Aspms系统 形式化分析 验证 代数 软件过程建模语言 建模系统 设计 软件开发过程 易于理解 表示方式 表达能力 图形化 形式化语义 组织 生产质量 开发效率 Π演算 模型 描述 矛盾 |
| Department | 中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100039;中国科学院软件研究所,互联网软件技术实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10351 |
| Collection | 互联网软件技术实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于代数的软件过程建模系统的设计与实现.（583KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment