Software Engineering

Loss networks ensure that sufficient resources are available when a call arrives.

The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994.

Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process.

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation.

Identification of Multivariable Industrial Processes presents a unified approach to multivariable industrial process identification.

Each year there are improvements in safety-critical system technology.

Model Predictive Control is an important technique used in the process control industries.

This volume contains the papers presented at the Intemational Conference on Object Oriented Information Systems 00lS'94, held at South Bank University, London, December 19 - 21, 1994.

This book contains the text of the plenary lectures and the mini-courses of the European Control Conference (ECC 95) held in Rome, Italy, September 5-September 8, 1995.

A learning system can be defined as a system which can adapt its behaviour to become more effective at a particular task or set of tasks.

Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage.

Functional Programming is a relatively new area of computer science.

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

During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture.

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented.

It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming.

The Glasgow functional programming group has held a workshop each summer since 1988.

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists.

This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS).

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems.

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages.

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal.

As software is very complex, we can only test a limited range of the possible states of the software in a reasonable time frame.

The annual Irish Conferences on Artificial Intelligence and Cognitive Science have become the major forum in Ireland for the discussion of various aspects of artificial intelligence.

The 1980's saw the advent of widespread (and potentially damaging) computer virus infection of both personal computer and mainframe systems.

Computers are gradually infiltrating all stages of the writing process.

Delphi 3 is a true object oriented, visual programming environment.

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation.

Delphi is a new Windows software development environment from Borland.

Based on papers accepted for presentation at the 1996 Workshop on Systematic Reuse: Issues in Initiating and Improving a Reuse Program, Liverpool, UK, this volume provides a comprehensive introduction to the effective management of software reuse.

Information technology is changing the way we write.

Safety-critical systems, in the sense of software-based systems used in safety- critical applications, are 'high-tech'.

It is well-known that some 85% of the resources necessary to design and bring to market a product are committed by decisions taken in the first 10% of the design activity.

This proceedings contains some of the papers presented at the Business Object and Implementation Workshops held at OOPSLA'96, OOPSLA'97 and OOPSLA'98.

OOIS'95 (Object-Oriented Information Systems '95) contains contributions from leading researchers and practitioners working on object oriented technology and its application in information systems design and development.

This book developed from an IFIP workshop which brought together methods and architecture researchers in Human Computer Interaction and Software Engineering.

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill.

Fortran is currently the world's most powerful numeric language and F is a subset of this.

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL.

The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium.

This book was originally written to support an introductory course in Object Orientation through the medium of Smalltalk (and VisualWorks in particular).

Dependability has always been an vital attribute of operational systems, regardless of whether they are highly-specialised (like electricity generating plants) or more general-purpose (like domestic appliances).

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996.

You might expect that a person invited to contribute a foreword to a book on the 1 subject of professionalism would himself be a professional of exemplary standing.

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability.

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'.

Formal methods have been established as the rigorous engineering methodology for the system development.

Social navigation is a vibrant new field which examines how we navigate information spaces in "e;real"e; and "e;virtual"e; environments, how we orient and guide ourselves, and how we interact with and use others to find our way in information spaces.

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems.