Programming Methodology

by McIver, Annabelle; Morgan, Carroll

• ISBN13: 9780387953496
• ISBN10: 0387953493
• Format: Hardcover
• Copyright: 2002-10-01
• Publisher: Springer-Verlag New York Inc

Summary

The IFIP working group 2.3 (Programming Methodology) is made up of internationally prominent computing academics and industrialists, and broadly its purpose is to invent, discuss and assess new and emerging techniques for improving the quality of software and systems. The group's membership has been influential in topics such as program correctness, object orientation, operating systems and distributed computing; indeed many thriving areas of research nowadays are based on ideas which were once scrutinized by the 2.3 working committee. This is a volume of chapters written by the membership which will form a reference and guide to the front line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.

Table of Contents

Preface
Contributors
Models and correctness	p. 1
Wanted: a compositional approach to concurrency	p. 5
Enforcing behavior with contracts	p. 17
Asynchronous progress	p. 57
A reduction theorem for concurrent object-oriented programs	p. 69
Abstractions from time	p. 95
A predicative semantics for real-time refinement	p. 109
Aspects of system description	p. 137
Modelling architectures for dynamic systems	p. 161
"What is a method?" - an essay on some aspects of domain engineering	p. 175
Programming techniques	p. 205
Object-oriented programming and software development - a critical assessment	p. 211
A trace model for pointers and objects	p. 223
Object models as heap invariants	p. 247
Abstraction dependencies	p. 269
Type systems	p. 293
What do types mean? - From intrinsic to extrinsic semantics	p. 309
Applications and automated theories	p. 329
Automated verification using deduction, exploration, and abstraction	p. 333
An experiment in feature engineering	p. 353
High-level circuit design	p. 381
Power analysis: attacks and countermeasures	p. 415
A probabilistic approach to information hiding	p. 441
Index	p. 461
Table of Contents provided by Blackwell. All Rights Reserved.