x

Our Privacy Policy has changed. By using this site, you agree to the Privacy Policy.

Program Development in Java Abstraction, Specification, and Object-Oriented Design

ISBN-10: 0201657686
ISBN-13: 9780201657685
Edition: 2001
List price: $74.99 Buy it from $12.26
This item qualifies for FREE shipping

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: Showing how to develop a more effective programming practice, Barbara Liskov presents a sound methodology for program construction in Java, based upon object-oriented design principles.

Used Starting from $47.11
New Starting from $72.99
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS Word® 2010 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $74.99
Copyright year: 2001
Publisher: Addison Wesley Professional
Publication date: 6/6/2000
Binding: Hardcover
Pages: 464
Size: 7.75" wide x 9.50" long x 1.50" tall
Weight: 2.486
Language: English

Showing how to develop a more effective programming practice, Barbara Liskov presents a sound methodology for program construction in Java, based upon object-oriented design principles.

Preface
Acknowledgments
Introduction
Decomposition and Abstraction
Abstraction
Abstraction by Parameterization
Abstraction by Specification
Kinds of Abstractions
The Remainder of the Book
Exercises
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
Procedural Abstraction
The Benefits of Abstraction
Specifications
Specifications of Procedural Abstractions
Implementing Procedures
Designing Procedural Abstractions
Summary
Exercises
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
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
Iteration Abstraction
Iteration in Java
Specifying Iterators
Using Iterators
Implementing Iterators
Rep Invariants and Abstraction Functions for Generators
Ordered Lists
Design Issues
Summary
Exercises
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
Polymorphic Abstractions
Polymorphic Data Abstractions
Using Polymorphic Data Abstractions
Equality Revisited
Additional Methods
More Flexibility
Polymorphic Procedures
Summary
Exercises
Specifications
Specifications and Specificand Sets
Some Criteria for Specifications
Restrictiveness
Generality
Clarity
Why Specifications?
Summary
Exercises
Testing and Debugging
Testing
Black-Box Testing
Glass-Box Testing
Testing Procedures
Testing Iterators
Testing Data Abstractions
Testing Polymorphic Abstractions
Testing a Type Hierarchy
Unit and Integration Testing
Tools for Testing
Debugging
Defensive Programming
Summary
Exercises
Requirements Analysis
The Software Life Cycle
Requirements Analysis Overview
The Stock Tracker
Summary
Exercises
Requirements Specifications
Data Models
Subsets
Relations
Textual Information
Requirements Specifications
Requirements Specification for Stock Tracker
The Data Model
Stock Tracker Specification
Requirements Specification for a Search Engine
Summary
Exercises
Design
An Overview of the Design Process
The Design Notebook
The Introductory Section
The Abstraction Sections
The Structure of Interactive Programs
Starting the Design
Discussion of the Method
Continuing the Design
The Query Abstraction
The WordTable Abstraction
Finishing Up
Interaction between FP and UI
Module Dependency Diagrams versus Data Models
Review and Discussion
Inventing Helpers
Specifying Helpers
Continuing the Design
The Design Notebook
Top-Down Design
Summary
Exercises
Between Design and Implementation
Evaluating a Design
Correctness and Performance
Structure
Ordering the Program Development Process
Summary
Exercises
Design Patterns
Hiding Object Creation
Neat Hacks
Flyweights
Singletons
The State Pattern
The Bridge Pattern
Procedures Should Be Objects Too
Composites
Traversing the Tree
The Power of Indirection
Publish/Subscribe
Abstracting Control
Summary
Exercises
Glossary
Index

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×