期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于契约式设计的VeriJava编程语言设计
1
作者 戴维标 《江苏第二师范学院学报》 2014年第11期15-17,共3页
契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对... 契约式设计是一种以Java语言为主流编程的技术手段,无论是在VeriJava编程语言程序开发中,还是在C++、S#等语言开发中,都被程序开发者广泛使用.对VeriJava编程语言以契约式设计理论的程序设计进行分析研究,将契约式设计理念引入到面向对象编程技术开发中,从而实现契约的编写与程序分离. 展开更多
关键词 契约式设计理念 VeriJava编程语言设计 JAVA语言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部