李平福

作品数：1被引量：1H指数：1
导出分析报告
供职机构：苏州大学更多>>
发文主题：时序逻辑形式化方法面向对象系统面向对象逻辑描述更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《苏州大学学报（工科版）》更多>>
所获基金：重庆市自然科学基金重庆市教育委员会科学技术研究项目江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向对象系统的时序逻辑描述被引量：1
《苏州大学学报（工科版）》2008年第4期12-19,共8页李平福 陈冬火 张广泉 
江苏省高校自然科学研究项目(编号05KJB520119);重庆市自然科学基金资助项目(编号CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号040803)
针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言。它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等。...
关键词：时序逻辑 形式化方法 面向对象 形式化规约语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部