您的位置： 专家智库 > >

张嘉铭

作品数：2 被引量：2H指数：1
供职机构：上海交通大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇契约式设计
  • 2篇编译器
  • 1篇JAVA语言
  • 1篇JAVA

机构

  • 2篇上海交通大学

作者

  • 2篇张嘉铭
  • 1篇赵建军
  • 1篇张思博

传媒

  • 1篇微型电脑应用

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于契约式设计的Java编译器实现
基于契约式设计（Design By Contract，DBC）这一理论是由Betrand Meyer提出的。DBC技术的核心是利用断言使方法及类的行为受到契约的约束，因此，将DBC与高级语言相结合的方式成为DBC技术的发...
张嘉铭
关键词：契约式设计编译器JAVA语言
文献传递
基于契约式设计的Java编译器实现被引量：2
2007年
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。
张嘉铭张思博赵建军
关键词：契约式设计JAVA编译器
全选 清除 导出
共1页<1>
聚类工具0