A CGI based implementation of an IMAP client

A Presentation and Sample Case Study of the Information Engineering Software Development Methodology

A formal specification of the railway's ABS system, using LOTOS

An ObjectStore Query Performance Measuring System

S/Key Commando

Smart Forms

The Human Factor in Web Site Design

The SWEEP CMS

SWEEP Proof of concept