Talk:Java Modeling Language

Java Low‑importance

	This article is within the scope of WikiProject Java, a collaborative effort to improve the coverage of Java on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.JavaWikipedia:WikiProject JavaTemplate:WikiProject JavaJava articles
Low	This article has been rated as Low-importance on the project's importance scale.

Computing: Software / CompSci Low‑importance

This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles

Low

This article has been rated as Low-importance on the project's importance scale.

This article is supported by WikiProject Software (assessed as Low-importance).

This article is supported by WikiProject Computer science (assessed as Low-importance).

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Untitled[edit]

Hi, just a question, why is the literature mentioned not linked from here? Links are available online. --Gwyndon 21:24, 8 May 2006 (UTC)[reply]

The external link to the JML homepage is broken. Glasser 18:52, 22 June 2006 (UTC)[reply]

I fixed the links, which should refer to jmlspecs.org Gleavens (talk) 20:00, 1 December 2009 (UTC) gleavens (December 1, 2009)[reply]

a <==> b[edit]

The logical construct a if and only if b

What does logical construct mean? --Abdull (talk) 16:06, 22 February 2008 (UTC)[reply]

;[edit]

   //@ requires amount > 0;
   //@ ensures balance = \old(balance) - amount;
   //@ assignable balance
   public void debit(int amount) { ... }

I think there is a ; missing instead it should be

   //@ requires amount > 0;
   //@ ensures balance = \old(balance) - amount;
   //@ assignable balance;
   public void debit(int amount) { ... }  —Preceding unsigned comment added by 134.2.222.208 (talk) 07:47, 9 July 2008 (UTC)[reply]

That was correct, but there were several other syntax and logic errors, that I fixed. Gleavens (talk) 19:59, 1 December 2009 (UTC) gleavens (Dec. 1, 2009).[reply]