It looks like you're offline.

An edition of Program development in Java (2000)

Program development in Java

abstraction, specification, and object-oriented design

by B. Liskov

★★ 2.0 (1 rating)
3 Want to read
1 Currently reading
1 Have read

Cover of: Program development in Java by B. Liskov, B. Liskov

My Reading Lists:

Use this Work

Create a new list

★★ 2.0 (1 rating)
3 Want to read
1 Currently reading
1 Have read

Check nearby libraries

WorldCat

Buy this book

Last edited by MARC Bot

July 11, 2024 | History

Edit

An edition of Program development in Java (2000)

Program development in Java

abstraction, specification, and object-oriented design

by B. Liskov

★★ 2.0 (1 rating)
3 Want to read
1 Currently reading
1 Have read

This work doesn't have a description yet. Can you add one?

Publish Date

2001

Publisher

Addison-Wesley

Language

English

Pages

443

Check nearby libraries

WorldCat

Buy this book

Previews available in: English

Edition	Availability
1 Program development in Java: abstraction, specification, and object-oriented design 2001, Addison-Wesley in English 0201657686 9780201657685	aaaa Preview Only
2 Program development in Java: abstraction, specification, and object-oriented design 2001, Addison-Wesley in English 076868529X 9780768685299	zzzz Locate
3 Program Development in Java: Abstraction, Specification, and Object-Oriented Design January 15, 2000, Addison-Wesley Professional in English 0201657686 9780201657685	zzzz Locate

Add another edition?

Book Details

Table of Contents

Preface

Page xv

Acknowledgments

Page xix

1. Introduction

1.1. Decomposition and Abstraction

1.2. Abstraction

1.2.1. Abstraction by Parameterization

1.2.2. Abstraction by Specification

1.2.3. Kinds of Abstractions

1.3. The Remainder of the Book

2. Understanding Objects in Java

2.1. Program Structure

2.3. Objects and Variables

2.3.1. Mutability

2.3.2. Method Call Semantics

2.4. Type Checking

2.4.1. Type Hierarchy

2.4.2. Conversions and Overloading

2.5. Dispatching

2.6.1. Primitive Object Types

2.7. Stream Input/Output

2.8. Java Applications

3. Procedural Abstraction

3.1. The Benefits of Abstraction

3.2. Specifications

3.3. Specifications of Procedural Abstractions

3.4. Implementing Procedures

3.5. Designing Procedural Abstractions

4.1. Specifications

4.2. The Java Exception Mechanism

4.2.1. Exception Types

4.2.2. Defining Exception Types

4.2.3. Throwing Exceptions

4.2.4. Handling Exceptions

4.2.5. Coping with Unchecked Exceptions

4.3. Programming with Exceptions

4.3.1. Reflecting and Masking

4.4. Design Issues

4.4.1. When to Use Exceptions

4.4.2. Checked versus Unchecked Exceptions

4.5. Defensive Programming

5. Data Abstraction

5.1. Specifications for Data Abstractions

5.1.1. Specification of IntSet

5.1.2. The Poly Abstraction

5.2. Using Data Abstractions

5.3. Implementing Data Abstractions

5.3.1. Implementing Data Abstractions in Java

5.3.2. Implementation of IntSet

5.3.3. Implementation of Poly

5.4. Additional Methods

5.5. Aids to Understanding Implementations

5.5.1. The Abstraction Function

5.5.2. The Representation Invariant

5.5.3. Implementing the Abstraction Function and Rep Invariant

5.5.4. Discussion

5.6. Properties of Data Abstraction Implementations

5.6.1. Benevolent Side Effects

5.6.2. Exposing the Rep

5.7. Reasoning about Data Abstractions

5.7.1. Preserving the Rep Invariant

5.7.2. Reasoning about Operations

5.7.3. Reasoning at the Abstract Level

5.8. Design Issues

5.8.1. Mutability

5.8.2. Operation Categories

5.8.3. Adequacy

5.9. Locality and Modifiability

6. Iteration Abstraction

6.1. Iteration in Java

6.2. Specifying Iterators

6.3. Using Iterators

6.4. Implementing Iterators

6.5. Rep Invariants and Abstraction Functions for Generators

6.6. Ordered Lists

6.7. Design Issues

7. Type Hierarchy

7.1. Assignment and Dispatching

7.1.1. Assignment

7.1.2. Dispatching

7.2. Defining a Type Hierarchy

7.3. Defining Hierarchies in Java

7.4. A Simple Example

7.5. Exception Types

7.6. Abstract Classes

7.7. Interfaces

7.8. Multiple Implementations

7.8.2. Polynomials

7.9. The Meaning of Subtypes

7.9.1. The Methods Rule

7.9.2. The Properties Rule

7.9.3. Equality

7.10. Discussion of Type Hierarchy

8. Polymorphic Abstractions

8.1. Polymorphic Data Abstractions

8.2. Using Polymorphic Data Abstractions

8.3. Equality Revisited

8.4. Additional Methods

8.5. More Flexibility

8.6. Polymorphic Procedures

9. Specifications

9.1. Specifications and Specificand Sets

9.2. Some Criteria for Specifications

9.2.1. Restrictiveness

9.2.2. Generality

9.3. Why Specifications?

10. Testing and Debugging

10.1.1. Black-Box Testing

10.1.2. Glass-Box Testing

10.2. Testing Procedures

10.3. Testing Iterators

10.4. Testing Data Abstractions

10.5. Testing Polymorphic Abstractions

10.6. Testing a Type Hierarchy

10.7. Unit and Integration Testing

10.8. Tools for Testing

10.9. Debugging

10.10. Defensive Programming

11. Requirements Analysis

11.1. The Software Life Cycle

11.2. Requirements Analysis Overview

11.3. The Stock Tracker

12. Requirements Specifications

12.1. Data Models

12.1.1. Subsets

12.1.2. Relations

12.1.3. Textual Information

12.2. Requirements Specifications

12.3. Requirements Specification for Stock Tracker

12.3.1. The Data Model

12.3.2. Stock Tracker Specification

12.4. Requirements Specification for a Search Engine

13.1. An Overview of the Design Process

13.2. The Design Notebook

13.2.1. The Introductory Section

13.2.2. The Abstraction Sections

13.3. The Structure of Interactive Programs

13.4. Starting the Design

13.5. Discussion of the Method

13.6. Continuing the Design

13.7. The Query Abstraction

13.8. The WordTable Abstraction

13.9. Finishing Up

13.10. Interaction between FP and UI

13.11. Module Dependency Diagrams versus Data Models

13.12. Review and Discussion

13.12.1. Inventing Helpers

13.12.2. Specifying Helpers

13.12.3. Continuing the Design

13.12.4. The Design Notebook

13.13. Top-Down Design

14. Between Design and Implementation

14.1. Evaluating a Design

14.1.1. Correctness and Performance

14.1.2. Structure

14.2. Ordering the Program Development Process

15. Design Patterns

15.1. Hiding Object Creation

15.2. Neat Hacks

15.2.1. Flyweights

15.2.2. Singletons

15.2.3. The State Pattern

15.3. The Bridge Pattern

15.4. Procedures Should Be Objects Too

15.5. Composites

15.5.1. Traversing the Tree

15.6. The Power of Indirection

15.7. Publish/Subscribe

15.7.1. Abstracting Control

Edition Notes

Includes index.

Published in: Boston

Classifications

Library of Congress: QA76.73.J38 L58 2001, QA76.73.J38 L58 2001, QA76.73.J38 L58 2000, QA76.73.J38L58 2000

The Physical Object

Pagination: xix, 443 p. :
Number of pages: 443

Edition Identifiers

Open Library: OL18140655M
ISBN 10: 0201657686
LCCN: 00036277
OCLC/WorldCat: 43729077
LibraryThing: 1032299
Goodreads: 574740

Work Identifiers

Work ID: OL5106018W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON