794 search results - page 1 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
70
Voted
JOT
2002
14 years 9 months ago
2002
154
click to vote
JTRES
2010
ACM
14 years 10 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
122
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
JAVA
2000
Springer
15 years 1 months ago
2000
Springer
130
click to vote
STTT
2010
14 years 8 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...