In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop.  Meer

This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990.  Meer

The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom­ position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems.  Meer

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognised that the database field provides a rich context for developing their ideas.  Meer

Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to provide a valuable opportunity for the discussion and exchange of ideas.  Meer

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering.  Meer

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland.  Meer

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera.  Meer

Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist.  Meer

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program­ ming concepts and to verify the work by case studies with industry.  Meer

The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry.  Meer

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.  Meer

This collection of papers draws together a variety of approaches for adding ob­ ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory.  Meer

This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991.  Meer

Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas.  Meer

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS).  Meer

This volume results from the regular sessions of the Second International Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases and Information Systems" (ADBIS'95) that took place 27th-30th June 1995, in Moscow, Russia.  Meer

This volume presents a variety of papers bearing on the relation between deontic logics, logics of action, and normative systems, i.e. systems of or about interacting agents (computers, human beings, corporations, etc.  Meer

This volume contains the texts of papers presented at the Second Irish Conference on Artificial Intelligence and Cognitive Science, held at Dublin City University in September 1989.  Meer

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree­ ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour.  Meer