摘要
回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型。针对目前面向构件的软件开发形式,提出了一些建议和方向。
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.
出处
《计算机应用与软件》
CSCD
北大核心
2008年第3期99-101,共3页
Computer Applications and Software
关键词
构件
面向构件的软件开发
形式化方法
规格说明
Component Component-oriented software development Formalization method Specification
