论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 科海故事博览·科教论坛期刊 \
基于契约式设计的VeriJava编程语言设计研究
推荐文章
一种Java平台上契约式语言的设计与实现
契约式设计
编译器
语法分析
逻辑错误
在Java中使用契约式设计
契约式设计DBC
Java
JMSAssert预编译器
面向方面的程序设计 AOP
支持契约式设计的Java静态验证器的研究
契约式设计(DBC)
Java
静态验证
基于AOP在组件开发中支持契约的研究与实现
契约
契约式设计
面向方面编程
Eclipse插件
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 基于契约式设计的VeriJava编程语言设计研究 | ||
| 来源期刊 | 科海故事博览·科教论坛 | 学科 | |
| 关键词 | 编程 动态检查 VeriJava 契约式设计 | ||
| 年，卷（期） | 2014,（2） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 238 | |
| 页数 | 1页 | 分类号 | |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2014(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
编程
动态检查
VeriJava
契约式设计
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
科海故事博览·科教论坛
主办单位：
云南晶晶科技艺术中心
出版周期：
月刊
ISSN：
1007-0745
CN：
53-1103/N
开本：
出版地：
昆明市江滨西路临江花园
邮发代号：
创刊时间：
语种：
出版文献量（篇）
7496
总下载数（次）
14
总被引数（次）
0
期刊文献
相关文献
推荐文献
