国家学术搜索
登录
注册
中文
EN
首页
|
基于契约式设计的VeriJava编程语言设计研究
基于契约式设计的VeriJava编程语言设计研究
引用
认领
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
万方数据
中文摘要：
文章定义了VeriJava语言系统的语法和词法，并将契约式设计条件实现，对于实践而言，以ECLIPSE插件为基础，简要介绍了VeriJava开发工具包，实现了VeriJava程序利用开发工具即可创建。并在VeriJava插件工具包中集成了动态检查工具，可动态检查程序。
收起全部
展开查看外文信息
作者：
柳均
展开 >
作者单位：
贵州省航天职业技术学院 563000
关键词：
编程
动态检查
VeriJava
契约式设计
出版年：
2014
科海故事博览·科教论坛
云南晶晶科技艺术中心
科海故事博览·科教论坛
ISSN：
1007-0745
年,卷(期)：
2014.
(2)
参考文献量
3
NETL
NSTL
万方数据
