Design by Contract is a valuable design method for trusted software components. Eiffel shows how to provide appropriate language support for it. However, no such concepts currently exist in Java. Full integration of them into Java may help to improve and guarantee the quality of Java classes. We briefly compare several approaches to extend Java in this way and present our model and a compiler t...

Java is a powerful object oriented programming language that dominates many other programming languages for more than a decade. It is well designed and available as many executable technologies for software development such as Java Swing, Java Beans, Java Applets, Java Web Start, Java Database Connectivity (JDBC), Java Server Pages (JSP) and Java 2 Enterprise Edition (J2EE). Beyond its usage in...

The Java language supports the use of monitors, sockets, and remote method invocation for concurrent programming. Also, Java classes can be defined to simulate other types of concurrent constructs. However, concurrent Java programs, like other concurrent programs, are difficult to specify, design, code, test and debug. In this paper, we describe the design of a toolset, called JaDA (Java Dynami...

Different methods to connect a Java-Applet for Medical Image Visualisation to databases are presented. Using Java Database Connectivity (JDBC) two-tier and three-tier applications have been developed. The middletier is built with Java-Applications and Java-Servlets connecting to the Applet using Remote Method Invocation (RMI) and the Hypertext Transfer Protocol (HTTP). The evaluation aims at a ...

This paper investigates the possibility of using Java as a language for Digital Signal Processing. We compare the performance of the Fast Fourier Transform using Java interpreters, compilers, and native execution. To characterize the Java language as a platform for signal processing, we have implemented a traditional FFT algorithm in both C and Java and compared their relative performance. Addi...

in Java 5.0 ein korrekter Typ. Programmierern fällt es oftmals schwer zu erkennen, dass Typen dieser Art für bestimmte Java 5.0 Methoden eine korrekte Typisierung wären. Desweiteren gibt es Java 5.0 Methoden, die Durchschnittstypen als allgemeinste Typisierung hätten. Durchschnittstypen sind allerdings in Java 5.0 nicht implementiert. Das heißt oftmals haben Java 5.0 Methoden nicht den allgemei...

In the past we analyzed typeless Java programs. One of our results was, that there may be different correct typings for one method. This means that the principal types of such methods are intersection types. We presented a type-inference algorithm. For typeless Java methods the algorithm infers its principal intersection type. Unfortunately, like Java byte-code, Java does not allow intersection...

The Java Native Interface (JNI) [1] provides interoperation between Java code running on a Java Virtual Machine and code written in other programming languages (e.g., C++ or assembly). The JNI is useful when existing libraries need to be integrated into Java code, or when portions of the code are implemented in other languages for improved performance. The Java Native Interface is extremely fle...

Wir zeigen auf der Basis aktueller Java-Spezifikationen und Open-SourceSysteme, dass Java und Open-Source sich gegenseitig befruchten und verschiedene Open-Source-Frameworks im Java-Bereich einen regen gegenseitigen Austausch und eine beachtliche Verwendung anderer Open-Source-Systeme betreiben. Ferner zeigen wir, dass auch Nicht-Open-Source-Systeme im Java-Umfeld von der Verwendungsmöglichkeit...

The Java Geometry Expert (Java GEX) is a piece of software for dynamic geometry. Java GEX also has the powerful proof methods including Wu's method based on algebraic computation, the area method based on geometric invariants, and the deductive database methods based on the theory of logic programming. Since Java is platformindependent, people can use Java GEX at any platform.