UML类图与形式化B方法相结合的应用研究
作者：沈利
摘要：由于UML采用半形式化的语言描述系统,缺乏精确的语义,而形式化B方法采用严谨的手段对系统进行设计和分析,具有精确性、无二义性等特点,因此研究两者的结合具有十分重要的意义。文章研究了UML类图到形式化B方法的转换规则,并以课程注册系统为例,给出了UML类图的形式化转换方法。
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 电子信息科学综合
收录：
- 维普收录(中)
- 知网收录(中)
- 上海图书馆馆藏
- 万方收录(中)
- 国家图书馆馆藏
关键词：
- b方法
- uml
- 类图
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
