您的位置： 专家智库 > >

唐长宁

作品数：3 被引量：1H指数：1
供职机构：中山大学数据科学与计算机学院（软件学院）更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇面向对象
  • 3篇程序设计
  • 2篇设计语言
  • 2篇面向对象程序
  • 2篇面向对象程序...
  • 2篇面向对象程序...
  • 2篇程序设计语言
  • 1篇EIFFEL
  • 1篇EIFFEL...
  • 1篇程序语言

机构

  • 3篇中山大学

作者

  • 3篇唐长宁
  • 2篇姚卿达

传媒

  • 1篇中山大学学报...
  • 1篇计算机科学

年份

  • 1篇1996
  • 2篇1994
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
面向对象程序设计语言EIFFEL的程序正确性验证工具被引量：1
1994年
本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。
姚卿达唐长宁董慧红
关键词：程序语言程序设计EIFFEL语言
对象式程序的正确性验证方法研究
1996年
介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．
姚卿达唐长宁黄璇
关键词：程序设计面向对象
面向对象程序设计语言正确性验证机制及若干问题
唐长宁
全选 清除 导出
共1页<1>
聚类工具0