A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations
Uložené v:
| Názov: | A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations |
|---|---|
| Autori: | Taylor, Kristina |
| Prispievatelia: | Computer Science |
| Zdroj: | archive/lib.dr.iastate.edu/cs_techreports/307/TR08_03.pdf|||Fri Jan 14 23:29:14 UTC 2022 |
| Rok vydania: | 2008 |
| Zbierka: | Digital Repository @ Iowa State University |
| Predmety: | Software Engineering, JML annotation specification |
| Popis: | 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. |
| Druh dokumentu: | article in journal/newspaper |
| Popis súboru: | application/pdf |
| Jazyk: | unknown |
| Relation: | archive/lib.dr.iastate.edu/cs_techreports/307/; 1328; 5540321; cs_techreports/307; https://dr.lib.iastate.edu/handle/20.500.12876/20136 |
| Dostupnosť: | https://dr.lib.iastate.edu/handle/20.500.12876/20136 https://hdl.handle.net/20.500.12876/20136 |
| Prístupové číslo: | edsbas.DF105FC9 |
| Databáza: | BASE |
Nájsť tento článok vo Web of Science Buďte prvý, kto okomentuje tento záznam!