Declarative Systems & Software Engineering Newsletter
Issue 11 - 23th January 1995
Editor - Hugh Glaser
Contents:
- Editorial
- Today's Seminar
- And Then!
- HPC Seminar
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.
The DSSE talk on Monday the 23rd at 13:00 will be given
by Jonathan Martin.
Contraint Logic Programming
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
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