期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于B语言的UML形式化方法 被引量：9
1
作者 周欣 魏生民 《计算机工程》 CAS CSCD 北大核心 2004年第12期62-64,共3页
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-BasedFormalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性。
关键词 统一建模语言 b抽象机 b语言
在线阅读 下载PDF
基于B语言的构件精化开发方法
2
作者 丁湘陵 王志刚 《电脑知识与技术》 2007年第11期786-790,共5页
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
关键词 事件 形式化 精化 b语言 抽象机
在线阅读 下载PDF
静态数据模型的形式化表示
3
作者 董天石 王悦 陈玉泉 《计算机应用与软件》 CSCD 北大核心 2001年第3期43-46,共4页
本文论述了如何将OMT规范中的静态数据模型表示成B AMN中的MACHINE结构。
关键词 静态数据模型 OMT规范 软件开发 形式化规范语言
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部