Skip to main content
SpringerLink
Log in

Programming Methodology

  • Book
  • © 2003

Overview

Editors:
  1. Annabelle McIver

    1. Department of Computing, Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carroll Morgan

    1. Department of Computer Science and Engineering, The University of New South Wales, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Models and correctness

    1. Front Matter

      Pages 1-4
      Download chapter PDF

    2. Concurrency and interaction

      1. Wanted: a compositional approach to concurrency
        • C. B. Jones
        Pages 5-15
      2. Enforcing behavior with contracts
        • Ralph-Johan Back, Joakim von Wright
        Pages 17-52

    3. Logical approaches to asynchrony

      1. Asynchronous progress
        • Ernie Cohen
        Pages 57-68
      2. A reduction theorem for concurrent object-oriented programs
        • Jayadev Misra
        Pages 69-92

    4. Systems and real time

      1. Abstractions from time
        • Manfred Broy
        Pages 95-107
      2. A predicative semantics for real-time refinement
        • Ian Hayes
        Pages 109-133

    5. Specifying complex behaviour

      1. Aspects of system description
        • Michael Jackson
        Pages 137-159
      2. Modelling architectures for dynamic systems
        • Peter Henderson
        Pages 161-174
      3. “What is a method?” — an essay on some aspects of domain engineering
        • Dines Bjørner
        Pages 175-203

  3. Programming techniques

    1. Front Matter

      Pages 205-209
      Download chapter PDF

    2. Object orientation

      1. Object-oriented programming and software development—a critical assessment
        • Manfred Broy
        Pages 211-221
      2. A trace model for pointers and objects
        • C. A. R. Hoare, He Jifeng
        Pages 223-245
      3. Object models as heap invariants
        • Daniel Jackson
        Pages 247-268
      4. Abstraction dependencies
        • K. Rustan, M. Leino, Greg Nelson
        Pages 269-289

    3. Type theory

      1. Type systems
        • Benjamin C. Pierce
        Pages 293-307
      2. What do types mean? — From intrinsic to extrinsic semantics
        • John C. Reynolds
        Pages 309-327

  4. Applications and automated theories

    1. Front Matter

      Pages 329-332
      Download chapter PDF

    2. Putting theories into practice by automation

      1. Automated verification using deduction, exploration, and abstraction
        • Natarajan Shankar
        Pages 333-351
Back to top

Keywords

About this book

The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people to pull everything together in an acceptable timescale. The question of how pro gram­ mers understand their own tasks, and how they fit together with those of their colleagues to achieve the overall goal, is a major concern. Without that under­ standing it would be practically impossible to realise the commercial potential of our present-day computing hardware. That programming has been able to keep pace with the formidable advances in hardware is due to the similarly formidable advances in the principles for design, construction and organisation of programs. The efficacy of these methods and principles speaks for itself - computer technology is all-pervasive - but even more telling is that they are beginning to feed back and inftuence hardware design as weIl. The study of such methods is called programming methodology, whose topics range over system-and domain-modelling, concurrency, object orientation, program specification and validation. That is the theme of this collection.

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)

Editors and Affiliations

  • Department of Computing, Macquarie University, Sydney, Australia

    Annabelle McIver

  • Department of Computer Science and Engineering, The University of New South Wales, Sydney, Australia

    Carroll Morgan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation