Principles of Software Construction
Principles of Software Construction
About the Book
About the Author
Table of Contents
-
Introduction to Java
-
An Introduction to Java
- Objectives of CPEN 221
- Objectives for this Reading
- What is Java?
- Java Programs and the JVM
-
Hello World!in Java - Of Classes and Objects
-
An Introduction to Java
-
Static Checking, Testing and Code Reviews
-
Static Checking
- Objectives for This Reading
- Hailstone Sequence
- Types
- Static Typing
- Static Checking, Dynamic Checking, No Checking
- The Goal of CPEN 221
- Why we use Java in this course
-
Testing and Code Review
- Validation
- Putting on Your Testing Hat
- Test-first Programming
- Why Software Testing is Hard
- Choosing Test Cases by Partitioning
- Blackbox and Whitebox Testing
- Automated Testing and Regression Testing
- Code Review
- Smelly Example #1
- Smelly Example #2
- Smelly Example #3
- Summary
-
Static Checking
-
Specifications
-
Need for Specifications
- Why Specifications?
- The Role of a Specification
- The Structure of a Specification
- Testing and Specifications
- Specifications for Mutating Methods
-
Exceptions
- Exceptions for Signalling Bugs
- Exceptions for Special Results
- Checked and Unchecked Exceptions
-
ThrowableHierarchy - Exception Design Considerations
- Abuse of Exceptions
- Test Yourself
-
Designing Specifications
- Deterministic vs. Underdetermined specs
- Declarative vs. operational specs
- Stronger vs. Weaker Specifications
- Diagramming Specifications
- Designing Good Specifications
- Precondition or Postcondition?
- About Static vs. Instance methods
- Summary
-
Need for Specifications
-
Debugging
-
How To Avoid Debugging
- Objectives
- First Defense: Make Bugs Impossible
- Second Defense: Localize Bugs
- Assertions
- What to Assert
- What Not to Assert
- Incremental Development
- Modularity & Encapsulation
- Summary
- Test Yourself
-
How to Debug
- Instance Diagrams
- Debug Systematically
- Fix the Bug
- Summary
-
Mutability and Immutability
- Risks of Mutation
- Specifications for mutating methods
- Iterating over arrays and lists
- Mutation undermines an iterator
- Mutation and contracts
- Useful immutable types
- Summary
-
How To Avoid Debugging
-
Abstract Data Types
-
Abstract Data Types
- What Abstraction Means
- User-Defined Types
- Classifying Types and Operations
- Designing an Abstract Type
- Representation Independence
- Why Interfaces?
- Testing an Abstract Data Type
- Invariants
- Immutability
- How to Establish Invariants
- Summary
-
Rep Invariants and Abstraction Functions
- Rep Invariant and Abstraction Function
- Checking the Rep Invariant
- Summary
-
Interfaces
- Interfaces
-
Example:
MyString -
Example:
Set
-
Subtypes
- Subtyping
- Subclassing
- Subtyping vs. Subclassing
- Summary
- Test Yourself
-
Equality
- Abstraction Function and Equality
- Three Ways to Regard Equality
- vs. equals()
- Equality of Immutable Types
- The Object Contract
- Equality of Mutable Types
-
The Final Rule for
equalsandhashCode() - Expressing Ordering
- Summary
-
Abstract Data Types
- Notes
The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.
You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!
So, there's no reason not to click the Add to Cart button, is there?
See full terms...
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earnedover $13 millionwriting, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
