Software-Engineering

• Patterns Home Page A good introduction to design patterns and how they are used.

Java

• Programming Languages for the Java Virtual Machine A list of programming languages for the Java virtual machine aside of Java itself.
• The Java Language Specification, Second Edition The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
• The Java Virtual Machine Specification, Second Edition In The JavaTM Virtual Machine Specification, Second Edition, Sun's designers of the Java virtual machine provide comprehensive coverage of the Java virtual machine class file format and instruction set.
• IBM developerWorks IBM's resource for developers

CSP

Design by Contract

• Building bug-free O-O software: An introduction to Design by Contract (Bertrand Meyer)
• Design by Contract for Java the jassert perl script (Jim Weirich)
• iContract the Java Design by Contract tool
• Jcontract is a stand-alone tool, but its capabilities are complementary to Jtest's (ParaSoft)
• AspectJ - error checking and handling, synchronization, context-sensitive behavior, performance optimizations, monitoring and logging, debugging support, and multiple object protocols.
• Adding Contracts to Java with Handshake
• Design by Contract for Java Using JMSAssert
• jContractor: A Reflective Java Library to Support
  Design By Contract jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception handling in Java. jContractor uses an intuitive naming convention, and standard Java syntax to instrument Java classes and enforce Design By Contract constructs.
• Jass – Java with Assertions
• Java-MaC (pdf) (ps) Java Monitoring and Checking

Utilities

• Latex-Documentation

Search Engines

• ResearchIndex (CiteSeer) is a scientific literature digital library that aims to improve the dissemination and feedback of scientific literature, and to provide improvements in functionality, usability, availability, cost, comprehensiveness, efficiency, and timeliness.
• The WWW Virtual Library The VL is the oldest catalog of the web, started by Tim Berners-Lee, the creator of html and the web itself. Unlike commercial catalogs, it is run by a loose confederation of volunteers, who compile pages of key links for particular areas in which they are expert; even though it isn't the biggest index of the web, the VL pages are widely recognised as being amongst the highest-quality guides to particular sections of the web.
• ACM - Association for Computing Machinery - Search