基于契约式设计的VeriJava编程语言设计  

作　　者：戴维标 

机构地区：[1]盐城工学院继续教育学院

出　　处：《江苏第二师范学院学报》2014年第11期15-17,共3页Journal of Jiangsu Second Normal University

摘　　要：契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离.

关 键 词：契约式设计理念 VeriJava编程语言设计 JAVA语言 

分 类 号：TP313[自动化与计算机技术—计算机软件与理论]