面向构件的系统开发及其形式化

• 作者: 缪淮扣 钱忠胜
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 构件 面向构件的软件开发 形式化方法 规格说明
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 99-101
• 页数: 3页
• 分类号: TP3
• 字数: 4130字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.03.038

摘要

回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型.针对目前面向构件的软件开发形式,提出了一些建议和方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	钱忠胜	上海大学计算机工程与科学学院	22	244	8.0	15.0