Declarative Systems & Software Engineering

The Declarative Systems & Software Engineering (DSSE) Group covers a wide range of activities, with the common theme of the programming process and programming languages; the emphasis is on those techniques and languages which encourage a declarative approach.

The Group's words from the Department's Strategic Plan are available, as is a profile used for OHP's.

The Group has a weekly Newsletter .

The Group publishes a series of technical reports .

Projects

CLIME - Complete Lifecycle Management Environment
Distributed Prolog Execution
EFOOL - Evaluation of Functional and Object-Oriented Languages
EVOLUTION - Evolution of Large Software Systems
FAST - Functional Programming for Arrays of Transputers
GraphIcsla - Graphical Programming and Distributed Threads
MOOPS - Metrics for Object-Oriented Programming Systems
"OPERA - Open PCTE for Environments, Repositories and Applications"
PARFORCE
PROCESS - Modelling and Mapping the Business Process
VIM - Virtual Multicomputer

We are also involved in an Erasmus ICP in Declarative Systems with a number of other institutions.

Staff

Academic staff
Research staff
Secretaries
Postgraduates
Visitors

Hugh Glaser
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton

2nd February 1996