Edsger W. Dijkstra

Charles Antony Richard Hoare

O. J. Dahl

Ole Johan Dahl

Ob-Johan Dahl

This book is the classic text in the art of computer programming. The first section represents an initial outstanding contribution to the understanding of the design of programs and the use of structured programming. The second part describes how similar principles can be applied in the design of data structures. The final section provides a synthesis of the previous two and expounds the close theoretical and practical connections between the design of data and the design of programs.

Structured Programming

"Information security covers the protection of information against unauthorized disclosure, transfer, modification, and destruction, whether accidentally or intentionally. Quality of life in general and of individual citizens, and the effectiveness of the economy critically depends on our ability to build software in a transparent and efficient way. Furthermore, we must be able to enhance the software development process systematically in order to ensure software's safety and security. This, in turn, requires very high software reliability, i.e., an extremely high confidence in the ability of the software to perform flawlessly. Foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems and software architectures. Based on these foundations tools allow to prove and ensure the correctness of software's functioning. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. The articles in this book describe the state-of-the-art ideas on how to meet these challenges in software engineering."

Software System Reliability and Security

Communicating Sequential Processes

Cliff B. Jones

Essays in Computing Science

M. Broy

Ralf Steinbrüggen

Tony Hoare

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR.

Engineering Theories of Software Construction

Charles Antony Richard Hoare

About

Books

Join the club