期刊文献+

基于关系演算的Java模式识别 被引量:5

Java design pattern recognition based on relational calculus
下载PDF
导出
摘要 分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。 This paper discussed about the relations both between classes and objects and established the relational calculus about model property. Finally,implemented a tool to check design pattern based on Java language through static and dynamic ways and did experiment based on the tool to verify several user’s codes which using design pattern.
出处 《计算机应用研究》 CSCD 北大核心 2010年第9期3425-3430,共6页 Application Research of Computers
关键词 关系演算 设计模式 JAVA虚拟机 属性检查 relational calculus design pattern Java virtual machine property checking
  • 相关文献

参考文献17

  • 1TORLAK E,DENNIS G.Kodkod for alloy users[C]//Proc of the 1st ACM Alloy Workshop.Portland:[s.n.],2006.
  • 2JACKSON D.Automating first-order relational logic[C]//Proc of the 8th ACM SIGSOFT International Symposium on Fundations of Software Engineering:Twenty-First Century Applications.New York:ACM Press,2000:130-139.
  • 3HE Ji-feng,LI Xiao-shan,LIU Zhi-ming.rCOS:a refinement calculus of object systems[J].Theoretical Computer Science,2006,365(1-2):109-142.
  • 4WANG Zheng,YU Xiao,PU Ge-guang,et al.Execution semantics for rCOS[C]//Proc of the 15th Asia-Pacifc Software Engineering Conference.Washington DC:IEEE Computer Society,2008:119-126.
  • 5GAMMA E,HELM R,JOHNSON R,et al.Design patterns:elements of reusable object-oriented software[M].[s.l.]:Wiley,1995.
  • 6DIJKSTRA E W.Cooperating sequential processes[M]//Programming languages.New York:Academic Press,1968:43-112.
  • 7KHURSHID S,MARINOV D.TestEra:specification-based testing of Java programs using SAT[J].ASE,2004,11(4):403-434.
  • 8HOARE C A R,JIFENG H.Unifying theories of programming[M].Prentice Hall International Series in Computer Science,1998.
  • 9BERGHAMMER R,LEONIUK B,MILANESE U.Implementation of relational algebra using binary decision diagrams[M]//Lecture Notes in Computer Science.Berlin:Springer,2002:241-257.
  • 10FENG Li-bo,YU Xiao,PU Ge-guang,et al.Property checking for design patterns[Z].

同被引文献19

引证文献5

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部