设为首页收藏本站
开启辅助访问 切换到宽版

科学网

 找回密码
  注册
科学网 › 我的中心 › 博文 › srzouyzu的博文
未分类| 形式化方法| 复杂网络| 树人教育|
hhh
邹盛荣 2011-3-29 22:34
hhh
1988 次阅读|没有评论
论文
邹盛荣 2011-3-29 22:33
hi
1889 次阅读|没有评论
形式化方法B和UML的结合
邹盛荣 2010-4-16 09:00
形式化方法B和UML的结合 * 摘要: 形式化方法 B用抽象机器符号来描述软件的规格说明， 因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是面向对象的建模技术，它的半形式化的分析结果可被B方法所引用，此文通过从UML类图到B抽象机器的转换给出了 ...
个人分类: 形式化方法|4874 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-28 03:30

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部