Overview

Full Product Details

Author:   Annabelle Mclver ,  Carroll Morgan
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of hardcover 1st ed. 2003
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   0.741kg
ISBN:  

9781441929648

ISBN 10:   1441929649
Pages:   470
Publication Date:   03 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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.

Reviews

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)

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)

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)

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)

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)

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions