| 面向构件的系统开发及其形式化 |
| |
| 引用本文： | 钱忠胜,缪淮扣.面向构件的系统开发及其形式化[J].计算机应用与软件,2008,25(3):99-101. |
| |
| 作者姓名： | 钱忠胜 缪淮扣 |
| |
| 作者单位： | 1. 上海大学计算机工程与科学学院,上海,200072;江西财经大学信息管理学院,江西,南昌,330013
2. 上海大学计算机工程与科学学院,上海,200072 |
| |
| 摘 要： | 回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型.针对目前面向构件的软件开发形式,提出了一些建议和方向.
|
| 关 键 词： | 构件 面向构件的软件开发 形式化方法 规格说明 |
| 收稿时间： | 2006-04-10 |
| 修稿时间： | 2006年4月10日 |
COMPONENT-ORIENTED SOFTWARE DEVELOPMENT AND ITS FORMALIZATION |
| |
| Qian Zhongsheng,Miao Huaikou.COMPONENT-ORIENTED SOFTWARE DEVELOPMENT AND ITS FORMALIZATION[J].Computer Applications and Software,2008,25(3):99-101. |
| |
| Authors: | Qian Zhongsheng Miao Huaikou |
| |
| Affiliation: | Qian Zhongsheng1,2 Miao Huaikou11(School of Computer Engineering & Science,Shanghai University,Shanghai 200072,China)2(School of Information Technology,Jiangxi University of Finance & Economics,Nanchang 330013,Jiangxi,China) |
| |
| Abstract: | The basic concepts of software component and formalization method are reviewed, and the formalization of software component is introduced. A componen-oriented software development model based on formalization method is presented according to the typical component-oriented software development and formalization features. In terms of current component-oriented software development, several suggestions and research directions are proposed. |
| |
| Keywords: | Component Component-oriented software development Formalization method Specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
