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

Software Engineering Projects

Automated Validation of Business Critical Systems with Component Based Designs

Customization and Adaptation of Automatically Generated Code

High-Integrity Component-Based Engineering for Enterprise Systems

Infinite State Model Checking using Partial Evaluation

Methodologies and Technologies for Industrial Strength Systems Engineering

Business Process Modelling Projects

Automated Validation of Business Critical Systems with Component Based Designs

High-Integrity Component-Based Engineering for Enterprise Systems

Modelling and analysis of long running transactions

Systems Engineering Projects

Automated Validation of Business Critical Systems with Component Based Designs

DEPLOY

Methodologies and Technologies for Industrial Strength Systems Engineering

Paradigm Unifying System Specification Environments for proven Electronic design

Rigorous Open Development Environment for Complex Systems (RODIN)

EPSRC Funded

Automated Validation of Business Critical Systems with Component Based Designs

Infinite State Model Checking using Partial Evaluation

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability

Open Middleware Infrastructure Institute

Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support

DSSE:Research Projects

You are in: DSSE Research 121

RICES Reasoning about Information Consistency across Enterprise Solutions
(this project has ended)

The overall objective of the RICES project is to provide the means whereby architects and designers of inter-enterprise IT solutions will be able to ensure that new business processes or new services launched into the everything-connected-to-everything-else world will indeed survive and function well, despite having to work with only partially-consistent information.

Homepage: http://www.ecs.soton.ac.uk/~ph/RICES/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Software Engineering, Business Process Modelling, Systems Engineering
Dates: 1st April 2000 to 30th June 2004

Partners

  • ICL
  • DERA

Funding

  • EPSRC GR/N11513 and GR/R31973

Principal Investigators

  • ph
URI: http://id.ecs.soton.ac.uk/project/121
RDF: http://rdf.ecs.soton.ac.uk/project/121

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