archives

Discussion of Design Alternatives for JML Java 5 Annotations


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Boysen, Kristina P. and Leavens, Gary T. (2008) Discussion of Design Alternatives for JML Java 5 Annotations. Technical Report 08-01, Computer Science, Iowa State University.

Full text available as:Adobe PDF

Abstract

The Java Modeling Language (JML) is a specification language for Java that allows users to specify intended code behavior through assertions attached to the code. Currently, these assertions are written in Java comments in the code. This paper describes a proposed syntax for translating the current JML assertions into new Java 5 annotations. This would allow syntax checkers in tools like Eclipse to check part of the assertion syntax and give code completion assistance to the user.

Keywords:JML Java Specification Annotation
Subjects:Software: PROGRAMMING TECHNIQUES (E): General
Software: SOFTWARE ENGINEERING (K.6.3)
Software: SOFTWARE ENGINEERING (K.6.3): General (K.5.1)
Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Design Tools and Techniques
Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
ID code:00000562
Deposited by:Kristina B. Taylor on 09 January 2008



Contact site administrator at: ssg@cs.iastate.edu