This project is concerned with methods of developing high-integrity solutions to enterprise-level problems. The results will be integrated with the tools and techniques being developed at IBM UK Laboratories for e-business solutions built on Enterprise Java Beans.