BEA WebLogic Tutorial IBM VisualAge for Java
IBM VisualAge for Java Version 3.5 (Professional or Enterprise Edition) is an integrated, visual environment that supports the complete cycle of Java program development. BEA WebLogic Server is an award-winning Java application server for developing, deploying, and managing Web applications. It simplifies development of portable and scalable applications, and it provides interoperability with other applications and systems. BEA WebLogic Server also offers the most complete implementation of the Java 2 Enterprise Edition standard.
Read more
Krakatoa Verification Tool for JAVA programs Tutorial and Reference Manual
Krakatoa is a tool for certification of Java programs, annotated using the Java Modeling Language [4] (JML for short), using the Why [1] tool for generating proof obligations. This version 1.11 of Krakatoa is a major rewriting of the version 0.x family. Major changes have occured including changes in the syntax of annotations. Chapter 2 is a tutorial to introduce the user step by step to the use of Krakatoa. Chapter 3 is a reference manual where all options of the tool are described, and also the modeling of Java objects and Java memory heap, that you may encounter if you discharge proofs interactively, e.g. using Coq.
Read more
Understanding the Java ClassLoader
The Java ClassLoader is a crucial, but often overlooked, component of the Java run-time system. It is the class responsible for finding and loading class files at run time. Creating your own ClassLoader lets you customize the JVM in useful and interesting ways, allowing you to completely redefine how class files are brought into the system.
Read more
Using The Java Native Interface
In this tutorial we illustrate how the Java Native Interface (JNI) can be used to permit Java programs to communicate with C programs. We begin by compiling the Java program and the C program at the command prompt (i.e. outside of Eclipse) using the MinGW gcc compiler. Once the programs are compiled and executing correctly, we show how the programs can be integrated into an Eclipse project using the CDT plugin.
Read more
Introduction to Java Programming, 5E
This tutorial is for students who are currently taking a Java course that uses Eclipse and for Java programmers who want to develop Java projects using Eclipse. Eclipse is an open source supported by IBM.
Read more