The University of Southampton

High-Integrity Component-Based Engineering for Enterprise Systems

Business Process Modelling, Formal Methods, Software Engineering

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.

Primary investigator

  • Peter Henderson

Secondary investigator

  • Carla Ferreira
Share this project FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.