会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
小飞侠的岛
博客园
首页
新随笔
联系
管理
2012年2月7日
[论文略读]3大学报服务替换相关论文2(5篇)
摘要: 一. 张敬周,任洪敏,宗宇伟,钱乐秋,朱三元. 基于行为自动机的构件可替换性分析与验证. 软件学报,2010,21(11):2768-2781. Time:1 hour 略读了同事的论文,本文关于构件的可替换性分析,结合有限状态自动机理论,用形式化方法给出了构件、构件行为、替换等一些列定义和定理,没有详细阅读。定义数学味很浓,用数学描述了相关问题,但定理没有给出证明过程,给出的行为可替...
阅读全文
posted @ 2012-02-07 13:44 小飞侠SSC
阅读(236)
评论(0)
推荐(0)
编辑
公告