Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. The book presents a methodology effective for either an individual programmer, who may be writing a small program or a single module in a larger one; or a software engineer, who may be part of a team developing a complex program comprised of many modules. Both audiences will acquire a solid foundation for object-oriented program design and component-based software development from this methodology. Because each module in a program corresponds to an abstraction, such as a collection of documents or a routine to search the collection for documents of interest, the book first explains the kinds of abstractions most useful to programmers: procedures; iteration abstractions; and, most critically, data abstractions. Indeed, the author treats data abstraction as the central paradigm in object-oriented program design and implementation. The author also shows, with numerous examples, how to develop informal specifications that define these abstractions--specifications that describe what the modules do--and then discusses how to implement the modules so that they do what they are supposed to do with acceptable performance. Other topics discussed include: * Encapsulation and the need for an implementation to provide the behavior defined by the specification * Tradeoffs between simplicity and performance * Techniques to help readers of code understand and reason about it, focusing on such properties as rep invariants and abstraction functions * Type hierarchy and its use in defining families of related data abstractions * Debugging, testing, and requirements analysis * Program design as a top-down, iterative process, and design patterns The Java programming language is used for the book's examples. However, the techniques presented are language independent, and an introduction to key Java concepts is included for programmers who may not be familiar with the language.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione libro Addison-Wesley Professional, 2000. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0201657686
Descrizione libro Addison-Wesley Professional, 2000. Condizione libro: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 1. Introduction.Decomposition and Abstraction.Abstraction.Abstraction by Parameterization.Abstraction by Specification.Kinds of Abstractions.The Remainder of the Book.Exercises.2. Understanding Objects in Java.Program Structure.Packages.Objects and Variables.Mutability.Method Call Semantics.Type Checking.Type Hierarchy.Conversions and Overloading.Dispatching.Types.Primitive Object Types.Vectors.Stream Input/Output.Java Applications.Exercises.3. Procedural Abstraction.The Benefits of Abstraction.Specifications.Specifications of Procedural Abstractions.Implementing Procedures.Designing Procedural Abstractions.Summary.Exercises.4. Exceptions.Specifications.The Java Exception Mechanism.Exception Types.Defining Exception Types.Throwing Exceptions.Handling Exceptions.Coping with Unchecked Exceptions.Programming with Exceptions.Reflecting and Masking.Design Issues.When to Use Exceptions.Checked versus Unchecked Exceptions.Defensive Programming.Summary.Exercises.5. Data Abstraction.Specifications for Data Abstractions.Specification of IntSet.The Poly Abstraction.Using Data Abstractions.Implementing Data Abstractions.Implementing Data Abstractions in Java.Implementation of IntSet.Implementation of Poly.Records.Additional Methods.Aids to Understanding Implementations.The Abstraction Function.The Representation Invariant.Implementing the Abstraction Function and Rep Invariant.Discussion.Properties of Data Abstraction Implementations.Benevolent Side Effects.Exposing the Rep.Reasoning about Data Abstractions.Preserving the Rep Invariant.Reasoning about Operations.Reasoning at the Abstract Level.Design Issues.Mutability.Operation Categories.Adequacy.Locality and Modifiability.Summary.Exercises.6. Iteration Abstraction.Iteration in Java.Specifying Iterators.Using Iterators.Implementing Iterators.Rep Invariants and Abstraction Functions for Generators.Ordered Lists.Design Issues.Summary.Exercises.7. Type Hierarchy.Assignment and Dispatching.Assignment.Dispatching.Defining a Type Hierarchy.Defining Hierarchies in Java.A Simple Example.Exception Types.Abstract Classes.Interfaces.Multiple Implementations.Lists.Polynomials.The Meaning of Subtypes.The Methods Rule.The Properties Rule.Equality.Discussion of Type Hierarchy.Summary.Exercises.8. Polymorphic Abstractions.Polymorphic Data Abstractions.Using Polymorphic Data Abstractions.Equality Revisited.Additi. Codice libro della libreria ABE_book_new_0201657686
Descrizione libro Addison-Wesley Professional, 2000. Hardcover. Condizione libro: New. book. Codice libro della libreria 0201657686
Descrizione libro Hardcover. Condizione libro: BRAND NEW. BRAND NEW. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed. Codice libro della libreria 0201657686BNA
Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97802016576851.0
Descrizione libro 2000. Hardcover. Condizione libro: New. 0003rd. 192mm x 33mm x 242mm. Hardcover. Written by a world-renowned expert on programming methodology, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. .Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 464 pages. 1.134. Codice libro della libreria 9780201657685
Descrizione libro Addison-Wesley Professional. Hardcover. Condizione libro: New. 0201657686 New Condition. Codice libro della libreria NEW4.0089360
Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97802016576850000000
Descrizione libro Addison-Wesley Professional, 2000. Hardcover. Condizione libro: New. Codice libro della libreria P110201657686
Descrizione libro 2000. Hardcover. Condizione libro: New. 0003rd. 192mm x 33mm x 242mm. Hardcover. Written by a world-renowned expert on programming methodology, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quic.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 464 pages. 1.134. Codice libro della libreria 9780201657685