|
|||||
|
|
| 基于契约式设计的VeriJava编程语言设计 | |
| 作者姓名： | 戴维标 |
| 作者单位： | 盐城工学院继续教育学院,江苏盐城224051 |
| 摘 要： | 契约式设计是一种以Java语言为主流编程的技术手段,无论是在VefiJava编程语言程序开发中,还是在c＋＋、s#等语言开发中,都被程序开发者广泛使用．对VefiJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离． |
| 关 键 词： | 契约式设计理念 VeriJava编程语言设计 Java语言 |
| 本文献已被 维普 等数据库收录！ | |