Skip Navigation | ANU Home | Search ANU | Search FEIT | Feedback
The Australian National
       University
Faculty of Engineering and Information Technology (FEIT)
Department of Computer Science

COMP1110 resources

JML on-line

You will find this article, Design by Contract with JML by Gary T. Leavens and Yoonsik Cheon, helpful in understanding how to use JML.

The textbook's UoS library

You can find the textbook's data structure library (UoS) in the directory /dept/dcs/comp1110/public/dslib. You can also view the UoS library documentation locally.

Java on-line information

We are using Java to illustrate and carry the computing and software engineering concepts introduced by the course, and for all practical work. Note also that we do not cover Java-related technologies (i.e. JavaBeans) in this course.

ANU Java Package: this package is used in examples for lectures, lab exercises and assignments; for usage, refer to its Javadoc description.

The package anu.jar is available for downlaod; note that is up to you to work out to include it in your CLASSPATH environment on your home system.

Java Coding Convention: the course's standard coding style is the official Sun Java style.

Sun's Java homepage provides the definitive on-line documentation for Java. We will be using Java J2SE1.4.

Of most use is the API Specification (or use Sun's original API Specification), which describes the (extensive) Java library classes, and the Java Language Specification. The latter also has specifications of Java syntax (although in not as readable form as the syntax diagrams found in the course textbook).

However, the course textbook already contains most of this information. The J2SE documentation web pages, with the API Specification and Guide to Features sections may be downloaded from the Sun Java site, as can the complete Java J2SE1.4 (if you wish to install this on your own machine).

The J2SE documentation web pages are normally installed to the file:///usr/local/java/docs/index.html of a local (Unix) machine.

Tutorials on Java (courtesy of Tim West): Thinking In Java by Bruce Eckel (more or less a book in PDF); complete list of Sun's range of on-line tutorials, and more basic tutorials (including Your First Cup of Java and guide to installation of J2SE SDK).

Particularly helpful for Assignment 2 is Sun's tutorial page for shift and logical operators.

Java at home

Windows

We have downloaded a recent version of JDK for Windows that is (as far as we know) compatible with the version installed on the student system. Since this is a very large download (50 megabytes) we strongly recommend that you download this file on campus and burn it on to a CD. Start your ftp client (e.g. in Windows, from the Start button, select Run program and type ftp) and download as follows (you type what's in bold):

ftp> open tux.anu.edu.au
Connected to tux.anu.edu.au (150.203.160.12).
220 tux.anu.edu.au FTP server (Version 6.4/OpenBSD/Linux-ftpd-0.17) ready.
Name (tux:richard): ftp
331 Guest login ok, send your complete e-mail address as password.
Password: (type your e-mail address here)
230 Guest login ok, access restrictions apply.
Remote system type is UNIX.
Using binary mode to transfer files.
ftp> cd pub/java/j2sdk-1.4.2/win32
250 CWD command successful.
ftp> bin
200 Type set to I.
ftp> get j2sdk-1_4_2_04-windows-i586-p.exe
local: j2sdk-1_4_2_04-windows-i586-p.exe remote: j2sdk-1_4_2_04-windows-i586-p.exe
227 Entering Passive Mode (150,203,160,12,224,231)
150 Opening BINARY mode data connection for 'j2sdk-1_4_2_04-windows-i586-p.exe' (51756917 bytes).
226 Transfer complete.
51756917 bytes received in 4.56 secs (1.1e+04 Kbytes/sec)
ftp> bye
221 Goodbye.

Burn the downloaded file on to a CD, take it home, insert the CD into your drive, find the file, and double-click the icon.

From Eiffel to Java

You may find the Java guide for those who previously learned Eiffel helpful. We also recommend working through the material (lectures and labs) from COMP1100 in semester 1, 2004.