This volume contains revised papers initially presented at the 1st International Workshop on Interfaces to Database Systems, held in Glasgow in July 1992. The contributors discuss the production of interfaces tailored to particular applications and more general systems.
This volume contains revised papers initially presented at the 1st International Workshop on Interfaces to Database Systems, held in Glasgow in July 1...
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial trial firms are interested in using it in their system development programs. It differs from the other higher profile file languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a...
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and seve...
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume...
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the cu...
We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. The papers display very well the scope and breadth of information retrieval, as indeed did the workshop ilself. They also present a good cross-section of current IR research, and as such provide a useful signpost for trends in information retrieval. Before we finish we must thank the following colleagues: Simon Botley, Paul Rayson and Paul Jones for their help in the organization of the conference....
We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at...
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support systems, distributed systems and reactive systems. One of the most vigorously researched topics common to all information systems is "formal modeling." An elegant high-level abstraction applicable to both application domain and system domain concepts will always lead to a system design from "outside...
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "informa...
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from...
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It ...
The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a...
The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time,...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practi...
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type systems and database systems. As in the previous DBPL workshops, the setting was informal, allowing the participants to actively discuss and argue about the ideas presented in the talks. The comments and remarks made by the participants during and after the presentations were taken into account in the...
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 ...
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing...
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 9...