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 speciﬁcation 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

Now showing 1 - 1 of 1