*A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scientists and programmers *Essential guide to modern software theory and practice for programmers, developers, computer scientists, and software engineers

From the reviews:

"The book represents a collection of essays concerning the various topics of programming methodology. A sample selected above from twenty essays of the book shows the topics cover relatively broad spectrum of programming methodology. Each essay concludes with a good set of references. This interesting book may be recommended namely to readers actively working in the field." (Ivan Martinec, Zentralblatt MATH, Vol. 1030, 2004)

Inhalt
I Models and correctness.- A Concurrency and interaction.- 1 Wanted: a compositional approach to concurrency.- 2 Enforcing behavior with contracts.- B Logical approaches to asynchrony.- 3 Asynchronous progress.- 4 A reduction theorem for concurrent object-oriented programs.- C Systems and real time.- 5 Abstractions from time.- 6 A predicative semantics for real-time refinement.- D Specifying complex behaviour.- 7 Aspects of system description.- 8 Modelling architectures for dynamic systems.- 9 What is a method? an essay on some aspects of domain engineering.- II Programming techniques.- E Object orientation.- 10 Object-oriented programming and software development a critical assessment.- 11 A trace model for pointers and objects.- 12 Object models as heap invariants.- 13 Abstraction dependencies.- F Type theory.- 14 Type systems.- 15 What do types mean? From intrinsic to extrinsic semantics.- III Applications and automated theories.- G Putting theories into practice by automation.- 16 Automated verification using deduction, exploration, and abstraction.- 17 An experiment in feature engineering.- H Programming circuits.- 18 High-level circuit design.- I Security and keeping secrets.- 19 Power analysis: attacks and countermeasures.- 20 A probabilistic approach to information hiding.