文件名称:AspecificationlanguagedesignfortheJavaModelingLang
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：304.06kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
A specification language design for the Java Modeling Language (JML) using Java 5 annotations有关JAVA语言设计的国外08年的博士论文-The Java
Modeling Language (JML) is one such specification language for Java that uses comments to specify
contracts. However, starting with version 5, Java has introduced annotations, a syntactical structure
to place metadata in various places in the code. This thesis proposes an initial design to writing JML
contracts in the Java 5 annotation syntax and evaluates several criteria in the areas of specification
languages and Java language design: whether these annotations are expressive enough to take advantage
of annotation simplicity and tool support, and whether the annotation syntax is expressive enough to
support handling a large specification language such as JML.
Modeling Language (JML) is one such specification language for Java that uses comments to specify
contracts. However, starting with version 5, Java has introduced annotations, a syntactical structure
to place metadata in various places in the code. This thesis proposes an initial design to writing JML
contracts in the Java 5 annotation syntax and evaluates several criteria in the areas of specification
languages and Java language design: whether these annotations are expressive enough to take advantage
of annotation simplicity and tool support, and whether the annotation syntax is expressive enough to
support handling a large specification language such as JML.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
AspecificationlanguagedesignfortheJavaModelingLanguageusingJava5annotations.pdf
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.