Declarative Systems & Software Engineering (DSSE) Group

University of Southampton, England.

Declarative Systems and Software Engineering Research Group ...

DSSE:Example PhD Projects. You are in: DSSE Example PhD Projects. We have the following open PhD projects. We also welcome other PhD proposals in our areas ...

Declarative Systems and Software Engineering Research Group ...

DSSE:Latest Technical Reports. You are in: DSSE Latest Technical Reports. Refine search | New search. Research Group matches any of "Dependable Systems and ...

Declarative Systems and Software Engineering Research Group - 2006 ...

Related Links. Seminars Home · 2005 Academic Year Seminars · 2004 Academic Year Seminars · 2003 Academic Year Seminars · 2002 Academic Year Seminars ...

Declarative Systems and Software Engineering Research Group - All ...

Research staff. [hidden]; [hidden]; Christopher Brown; [hidden]; Victor Chang; [hidden] (Visitor); [hidden]; Dr Stephen Crouch; [hidden]; [hidden] ...

Declarative Systems and Software Engineering Research Group ...

Publications. > search DSSE publications · > advanced search for DSSE publications · > browse by year · > browse most recent ...

Declarative Systems and Software Engineering Research Group - Tools

DSSE:Tools. You are in: DSSE Tools. We have developed the following tools:. RolEnact - Business Process Modelling; ARC - Architecture Modelling ...

Declarative Systems and Software Engineering Research Group ...

DSSE:Research Themes. You are in: DSSE Research Themes. Business Process Modelling · Dependable Systems · Design, Automation, Simulation and Optimisation ...

Declarative Systems and Software Engineering Research Group ...

DSSE:Research Projects. You are in: DSSE Research Projects. Automated Validation of Business Critical Systems with Component Based Designs · High-Integrity ...

Declarative Systems and Software Engineering Research Group ...

Research Projects. > browse all · > browse by theme · > browse by funding. Business Process Modelling Projects. Automated Validation of Business Critical ...