Computer programming / software engineering

PREFACE The FORTRAN programming language was designed in the 1950s and standardized in 1966.

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.

Practical Usage of ISPF Dialog Manager is a concise and comprehensive source of information for the development of applications using IBM's Dialog Management package.

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.

If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment.

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.

This book contains the 61 papers that were accepted for presenta- tion at the 1992 British Machine Vision Conference.

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 Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran.

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.

Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines.

Past, Present, Parallel is a survey of the current state of the parallel processing industry.

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.

Many of us already have at least a passing acquaintance with procedural languages such as BASIC or Pascal, but may not have met a functional language like Lisp before.

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.

Visual Basic has sold over 4 million copies and is the most widely used development environment for creating Windows 95 applications.

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

This volume contains the papers presented at the Third International Conference on Object Oriented Information Systems (00lS'96) which was held at South Bank University, London.

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.

Programming in Dylan is aimed at programmers who are already familiar with languages such as Pascal or C but who, as yet, have no knowledge of object-oriented languages.

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.