2012年2月7日
[论文略读]3大学报服务替换相关论文2（5篇）
摘要： 一. 张敬周，任洪敏，宗宇伟，钱乐秋，朱三元. 基于行为自动机的构件可替换性分析与验证. 软件学报，2010，21（11）：2768-2781. Time：1 hour 略读了同事的论文，本文关于构件的可替换性分析，结合有限状态自动机理论，用形式化方法给出了构件、构件行为、替换等一些列定义和定理，没有详细阅读。定义数学味很浓，用数学描述了相关问题，但定理没有给出证明过程，给出的行为可替... 阅读全文
posted @ 2012-02-07 13:44 小飞侠SSC 阅读(242) 评论(0) 推荐(0) 编辑