Software Engineering

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.

Advances in Soft Computing contains the most recent developments in the field of soft computing in engineering design and manufacture.

Today, software professionals recognize that change in software systems is inevitable.

Conceptual Modeling for User Interface Development introduces the technique of Entity-Relationship-Modeling and shows how the technique can be applied to interface issues.

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications.

Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001.

Objectives of this Book This book is an introduction to a set of software specification methods.

Finite Element Programs for Structural Vibrations presents detailed descriptions of how to use six computer programs (written in Fortran 77) to determine the resonant frequencies of one, two, and three-dimensional skeletal structures through the finite element method.

Client/server and distributed technologies have made great strides since their emergence in the late 1980s to become very popular in the IT industry today.

This book contains the Proceedings of the 6th Safety-critical Systems Sympo- sium, the theme of which is Industrial Perspectives.

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry.