Sciweavers

188 search results - page 5 / 38
» java 2001
Sort
View
SIGADA
2001
Springer
15 years 2 months ago
Real-time convergence of Ada and Java™
Benjamin M. Brosgol, Brian Dobbing
FASE
2001
Springer
15 years 2 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
Bart Jacobs, Erik Poll