Declarative Systems & Software Engineering Newsletter

Issue 11 - 23th January 1995

Editor - Hugh Glaser

Contents:

Editorial
Today's Seminar
And Then!
HPC Seminar

Editorial

Sorry no Newsletter last week. I was indisposed.

Now that we have the new disk space (and new sysprog) I hope that we can regularise things. I have asked Stewart Brodie to take sole charge of the DSSE software directory. So if you have software systems that you want to make available please consult Stewart to have them installed. If you want software installed, then Stewart may be able do it. If we need Flavio to do work for us, then please channel it through me, so that Flavio and I can discuss his priorities.

Peter is away in California at the moment; back in a week.

Today's Seminar

The DSSE talk on Monday the 23rd at 13:00 will be given by Jonathan Martin.
Contraint Logic Programming

And Then!

The first of the candidates for lectureship will be giving a seminar today (ES2 at 2pm):
Pieter H. Hartel, University of Amsterdam
Towards testability in smart card operating system design

HPC Seminar

What is transaction processing?
by Susan Malaika
IBM Hursley
in Zepler ES2 at 13:00 Wed Jan 25th

Abstract

This talk describes the purpose and basic elements of transaction processing systems. The effect transaction processing has on various software components, e.g. the operating system, database management systems and applications will be mentioned, in addition to recent trends in the area. The talk will also refer to some commercially available products.


Copy deadline: 5pm Friday for Monday's newsletter, but send the articles any time.

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