Software Engineering

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.

Dr Peter Milton, Director of Programme Review, Quality Assurance Agency I am grateful to the authors for giving me the opportunity to write this foreword, mainly because it represents the first occasion that the Fund for the Development of Teaching and Learning (FDTL) has led directly to a pUblication such as this.

PC viruses are not necessarily a major disaster despite what is sometimes written about them.

Fortran is one of the most widely used programming languages in science and engineering.

This book addresses issues concerning the engineering of system prod- ucts that make use of computing technology.

Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003.

Introduction The changing business environment, of global operations, mergers, decen- tralization, increased competition, pressure on budgets etc.

About this Book I wrote this book to help students who are about to start their first project.

The Idea of Program Refinement Programs are complex.

If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you!