This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.

This reader contains contributions referring to one of the most urgent problems in systems design: the effects of computerization on human work and approaches to ameliorate systems design in order to create better conditions for living human work in a computerized world. Of course the choice of papers has been operated somewhat arbitrarily. It primarily reflects the work of IFIP's Working Group 9.1. "Compu ters and Work" and of some of its members. The papers were compiled aiming at focussing on very material pro blems in the field of "Computers and Work." They substantively re flect in...

"Developments in Computer-Integrated Manufacturing" arose from the joint work of members of the IFIP-Working Group 5.3 - Discrete Manufacturing, and other IFIP members. Within the Technical Committee 5 of the International Federation of Information Processing (lFIP) the aim of this Working Group is the advancement of computers and their application to the field of discrete part manufacturing. Capabilities will be expanded in the general areas of planning, selection, and con trol of manufacturing equipment and systems. Tools for problem solution include: mathematics, geometry, algorithms,...

The purpose of this book is to discuss the state of the art and future trends in the field of computerized production management systems. It is composed of a number of independent papers, each presented in a chapter. Some of the widely recognized experts in the field around the world have been asked to contribute. lowe each of them my sincere gratitude for their kind cooperation. I am also grateful to Peter Falster and Jim Browne for their kind support in helping me to review topics to be covered and to select the authors. This book is a result of the professional work done in the...

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic...