科海故事博览·科教论坛2014，Issue(2) ：238-238.

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

柳均
科海故事博览·科教论坛2014，Issue(2) ：238-238.
✕
  • NETL
  • NSTL
  • 万方数据

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

柳均1
扫码查看

作者信息

  • 1. 贵州省航天职业技术学院 563000
  • 折叠

摘要

文章定义了VeriJava语言系统的语法和词法，并将契约式设计条件实现，对于实践而言，以ECLIPSE插件为基础，简要介绍了VeriJava开发工具包，实现了VeriJava程序利用开发工具即可创建。并在VeriJava插件工具包中集成了动态检查工具，可动态检查程序。

关键词

编程/动态检查/VeriJava/契约式设计

引用本文复制引用

出版年

2014
科海故事博览·科教论坛
云南晶晶科技艺术中心

科海故事博览·科教论坛

ISSN：1007-0745
参考文献量3
段落导航相关论文