[an error occurred while processing this directive]

Stefan Ram garnoo :concept/communication type/website/The Java Modeling Language (JML) Home Page

• :description:is-subject-in

  • :description:cluster

    • :catalogue:Cluster:en:Java:specification %

  • :description:entry

    • :catalogue:Entry:USA:Iowa:Ames %
    • :catalogue:Entry:USA:ZIP/50011 %

  • :description:field

    • :concept/field/programming %

  • :description:finder

    • :concept/notation/text
      Java Modeling Language JML %

  • :description:is about

    • :concept/notation/Java Modeling Language %

  • :description:language

    • :concept/language/English %

  • :description:newsgroup

    • :catalogue:Newsgroup/de.comp.lang.java %

  • :description:publisher

    • :concept/person/Gary T. Leavens %

  • :description:text

    • :concept/language/English
      behavioral interface specification for Java modules %

  • :description:title

    • :concept/language/English
      The Java Modeling Language (JML) Home Page %

  • :description:treeg

    • :catalogue:Treeg:programming:language/Java:Java related languages %
    • :catalogue:Treeg:programming:language:specification language %

  • :description:URI

    • :concept/notation/URI/http://www.cs.iastate.edu/~leavens/JML/ %