dx.doi.org/10.1007/s10009-004-0167-4

Preview meta tags from the dx.doi.org website.

Linked Hostnames

20

Thumbnail

Search Engine Appearance

Google

https://dx.doi.org/10.1007/s10009-004-0167-4

An overview of JML tools and applications - International Journal on Software Tools for Technology Transfer

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The



Bing

An overview of JML tools and applications - International Journal on Software Tools for Technology Transfer

https://dx.doi.org/10.1007/s10009-004-0167-4

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The



DuckDuckGo

https://dx.doi.org/10.1007/s10009-004-0167-4

An overview of JML tools and applications - International Journal on Software Tools for Technology Transfer

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The

  • General Meta Tags

    178
    • title
      An overview of JML tools and applications | International Journal on Software Tools for Technology Transfer
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • applicable-device
      pc,mobile
    • viewport
      width=device-width, initial-scale=1

  • Open Graph Meta Tags

    6
    • og:url
      https://link.springer.com/article/10.1007/s10009-004-0167-4
    • og:type
      article
    • og:site_name
      SpringerLink
    • og:title
      An overview of JML tools and applications - International Journal on Software Tools for Technology Transfer
    • og:description
      The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification typechecking, runtime debugging, static analysis, and verification.This paper gives an overview of the main ideas behind JML, details about JML’s wide range of tools, and a glimpse into existing applications of JML.

  • Twitter Meta Tags

    6
    • twitter:site
      @SpringerLink
    • twitter:card
      summary_large_image
    • twitter:image:alt
      Content cover image
    • twitter:title
      An overview of JML tools and applications
    • twitter:description
      International Journal on Software Tools for Technology Transfer - The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to...

  • Item Prop Meta Tags

    3
    • position
      1
    • position
      2
    • position
      3

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/article/10.1007/s10009-004-0167-4
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Emails

1

Links

105