View in EDS

A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations

Saved in:
Bibliographic Details
Title: A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations
Authors: Taylor, Kristina
Contributors: Computer Science
Source: archive/lib.dr.iastate.edu/cs_techreports/307/TR08_03.pdf|||Fri Jan 14 23:29:14 UTC 2022
Publication Year: 2008
Collection: Digital Repository @ Iowa State University
Subject Terms: Software Engineering, JML annotation specification
Description: 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.
Document Type: article in journal/newspaper
File Description: application/pdf
Language: 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
Availability: https://dr.lib.iastate.edu/handle/20.500.12876/20136
https://hdl.handle.net/20.500.12876/20136
Accession Number: edsbas.DF105FC9
Database: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://dr.lib.iastate.edu/handle/20.500.12876/20136#
    Name: EDS - BASE (s4221598)
    Category: fullText
    Text: View record from BASE
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Taylor%20K
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsbas
DbLabel: BASE
An: edsbas.DF105FC9
RelevancyScore: 769
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 768.664306640625
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Taylor%2C+Kristina%22">Taylor, Kristina</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Computer Science
– Name: TitleSource
  Label: Source
  Group: Src
  Data: archive/lib.dr.iastate.edu/cs_techreports/307/TR08_03.pdf|||Fri Jan 14 23:29:14 UTC 2022
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2008
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: Digital Repository @ Iowa State University
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+Engineering%22">Software Engineering</searchLink><br /><searchLink fieldCode="DE" term="%22JML+annotation+specification%22">JML annotation specification</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: unknown
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: archive/lib.dr.iastate.edu/cs_techreports/307/; 1328; 5540321; cs_techreports/307; https://dr.lib.iastate.edu/handle/20.500.12876/20136
– Name: URL
  Label: Availability
  Group: URL
  Data: https://dr.lib.iastate.edu/handle/20.500.12876/20136<br />https://hdl.handle.net/20.500.12876/20136
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.DF105FC9
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.DF105FC9
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: unknown
    Subjects:
      – SubjectFull: Software Engineering
        Type: general
      – SubjectFull: JML annotation specification
        Type: general
    Titles:
      – TitleFull: A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Taylor, Kristina
      – PersonEntity:
          Name:
            NameFull: Computer Science
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2008
          Identifiers:
            – Type: issn-locals
              Value: edsbas
          Titles:
            – TitleFull: archive/lib.dr.iastate.edu/cs_techreports/307/TR08_03.pdf|||Fri Jan 14 23:29:14 UTC 2022
              Type: main
ResultId 1