DSSE
Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Research Projects

> browse all
> browse by theme
> browse by funding

Business Process Modelling Projects

Automated Validation of Business Critical Systems with Component Based Designs

Modelling and analysis of long running transactions

RICES Reasoning about Information Consistency across Enterprise Solutions

Formal Methods Projects

Automated Validation of Business Critical Systems with Component Based Designs

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

DEPLOY

Infinite State Model Checking using Partial Evaluation

Methodologies and Technologies for Industrial Strength Systems Engineering

Modelling and analysis of long running transactions

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability

Paradigm Unifying System Specification Environments for proven Electronic design

Rigorous Open Development Environment for Complex Systems (RODIN)

Trusted Software Agents and Services

Verifying Shared Memory Communication for Low-Power Multi-core SoCs

VERTIGO - Verification and Validation of Embedded System Design Workbench

Software Engineering Projects

Automated Validation of Business Critical Systems with Component Based Designs

Customization and Adaptation of Automatically Generated Code

Infinite State Model Checking using Partial Evaluation

Methodologies and Technologies for Industrial Strength Systems Engineering

RICES Reasoning about Information Consistency across Enterprise Solutions

DSSE:Research Projects

You are in: DSSE Research 98

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

Other Investigators

  • Carla Ferreira
URI: http://id.ecs.soton.ac.uk/project/98
RDF: http://rdf.ecs.soton.ac.uk/project/98

More information on ECS URIs and RDF
© School of Electronics and Computer Science of the University of Southampton