Degree Type

Thesis

Date of Award

2008

Degree Name

Master of Science

Department

Computer Science

First Advisor

Gary T. Leavens

Second Advisor

Krishna Rajan

Third Advisor

Hridesh Rajan

Abstract

Design by contract specification languages help programmers write their intentions for a piece of code in a formal mathematical language. Most programming languages do not have built-in syntax for such specifications, so many design by contract languages place specifications in comments. 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.

DOI

https://doi.org/10.31274/rtd-180813-16072

Publisher

Digital Repository @ Iowa State University, http://lib.dr.iastate.edu/

Copyright Owner

Kristina Boysen Taylor

Language

en

Proquest ID

AAI1453063

OCLC Number

236170504

ISBN

9780549540991

File Format

application/pdf

File Size

66 pages

Share

COinS