形式化语言B与UML／OCL的比较

• 作者: 周秀芳 陈名铭 顾建丰
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: B语言 OCL 形式化方法 比较
• 年，卷（期）: 2009,（12）
• 页码范围: 9739-9741
• 页数: 3页
• 分类号: TP311

摘要

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