review: Universal Algebra and Computer Science

江东明 2013-2-13 21:06

Universal Algebra and Computer Science Boris Plotkin1 and Tanya Plotkin FCT 2001, LNCS 2138, pp. 35–44, 2001. Abstract. This paper considers interrelations between universal algebra, algebraic logic, geometry and computer science. The key idea of the paper is to sh ...

个人分类: Formal method|2430 次阅读|没有评论

review: The CommUnity Workbench

江东明 2013-1-26 20:55

Contents 1 The CommUnity Workbench. 1 The CommUnity Workbench. Michel Wermelinger Crist6v~.o Oliveira ICSE'02, May 19-25, 2002 1 COMMUNITY 2 WORKBENCH The COMMUNITY Workbench: The community workbench.pdf

个人分类: Formal method|2485 次阅读|没有评论

Z,VDM and B method

江东明 2012-3-3 21:06

Contents 1 Z 2 VDM 3 B 4 Event B Z，VDM，B都是老的一届形式化方法，现在Event B相对应用广些，值得关注！ 参考裘宗燕老师的个人主页： http://www.math.pku.edu.cn/teachers/qiuzy/ 裘老师主页链接：形式化方法,是入门和学习的好的网址 VDM和Z两种规范描 ...

个人分类: Formal method|3815 次阅读|没有评论

review: 双线性对有效计算研究进展

江东明 2012-3-2 10:59

双线性对有效计算研究进展 赵昌安 张方国 软件学报 2009 摘要: 近年来,双线性对获得了广泛的密码应用.实现这些应用的效率,取决于双线性对的计算速度.分类回顾了双线性对有效计算方面的已有进展,并提出了进一步工作的可能性. 关键词: 公钥密码学;基于双线性对的 ...

个人分类: Formal method|2980 次阅读|没有评论

review: 软件体系结构评估技术

江东明 2012-3-1 13:14

软件体系结构评估技术 张莉, 高晖, 王守信 软件学报 2008 摘要: 作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3 类:基于场景的评估方法、基于度量和预测 ...

个人分类: Formal method|2342 次阅读|没有评论

本页有 5 篇博文因作者的隐私设置或未通过审核而隐藏