Program Development in Java: Abstraction, Specification, and by Barbara Liskov,John Guttag

Written via a world-renowned professional on programming method, and the winner of the 2008 Turing Award, this publication exhibits the way to construct production-quality programs--programs which are trustworthy, effortless to take care of, and quickly to switch. Its emphasis is on modular software development: how one can get the modules correct and the way to prepare a software as a set of modules. The booklet offers a technique powerful for both anyone programmer, who could be writing a small application or a unmarried module in a bigger one; or a software program engineer, who can be a part of a staff constructing a posh software produced from many modules. either audiences will collect a high-quality starting place for object-oriented software layout and component-based software program improvement from this system.

Because each one module in a software corresponds to an abstraction, comparable to a set of files or a regimen to go looking the gathering for records of curiosity, the booklet first explains the types of abstractions most beneficial to programmers: tactics; generation abstractions; and, so much severely, facts abstractions. certainly, the writer treats information abstraction because the crucial paradigm in object-oriented application layout and implementation. the writer additionally exhibits, with various examples, the right way to strengthen casual requisites that outline those abstractions--specifications that describe what the modules do--and then discusses easy methods to enforce the modules so they do what they're purported to do with applicable functionality.

Other themes mentioned contain:

• Encapsulation and the necessity for an implementation to supply the habit outlined through the specification
• Tradeoffs among simplicity and function
• Techniques to aid readers of code comprehend and cause approximately it, targeting such houses as rep invariants and abstraction capabilities
• Type hierarchy and its use in defining households of similar facts abstractions
• Debugging, checking out, and specifications research
• Program layout as a top-down, iterative approach, and layout styles

The Java programming language is used for the book's examples. in spite of the fact that, the thoughts provided are language self sufficient, and an advent to key Java suggestions is incorporated for programmers who will not be acquainted with the language.