形式语言B与RSL的比较

• 作者: 张宏 邹盛荣
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: B RSL 形式化方法 异同
• 年，卷（期）: dnzsyjsxsb_2008,（S2）
• 页码范围: 115-116
• 页数: 2页
• 分类号: TP311.52

摘要

本文介绍了形式化方法中B方法和RAISE方法,从软件开发生命周期的角度对B语言和RSL进行了比较,归纳了这两种形式化语言的异同和各自的适用范围。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张宏	扬州大学信息工程学院	7	35	3.0	5.0
2	邹盛荣		1	0	0.0	0.0