Discussion of Design Alternatives for JML Java 5 Annotations

dc.contributor.author Boysen, Kristina
dc.contributor.author Leavens, Gary
dc.contributor.department Computer Science
dc.date 2018-02-14T00:55:50.000
dc.date.accessioned 2020-06-30T01:56:36Z
dc.date.available 2020-06-30T01:56:36Z
dc.date.issued 2008-01-09
dc.description.abstract <p>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.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/309/
dc.identifier.articleid 1326
dc.identifier.contextkey 5540306
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/309
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20138
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/309/TR08_01.pdf|||Fri Jan 14 23:29:40 UTC 2022
dc.subject.disciplines Software Engineering
dc.subject.keywords JML Java Specification Annotation
dc.title Discussion of Design Alternatives for JML Java 5 Annotations
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
TR08_01.pdf
Size:
99.77 KB
Format:
Adobe Portable Document Format
Description:
Collections