High-Integrity Component-Based Engineering for Enterprise Systems
(this project has ended)

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.

Homepage: http://www.ecs.soton.ac.uk/~ph/hicbse1.htm
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Business Process Modelling, Formal Methods, Software Engineering
Dates: 1st April 2000 to 31st March 2002

Funding

• IBM

Principal Investigators

• Professor Peter Henderson
• Professor Michael J Butler

Other Investigators

• Carla Ferreira