SWE 619 Reading Reflection Number 5
Due Tuesday, September 26, 2023
- List the names of students in your group.
- Did everyone in your group contribute to the discussion
of your solutions
to this reading reflection? If not, who did not?
- Liskov 7 develops rules for assessing the correctness of
subtypes.
Do you see the connection between these rules and the rules
for verification addressed in Chapter 5?
- In-class exercise 5C goes through a concrete exercise from Liskov.
Which aspects of this of this exercise are clear, and which aspects are confusing?
- Consider the Java
Set interface and two
subtypes: HashSet and TreeSet.
Do you think the abstract state for these three interfaces/classes are
identical or different? (You might want to spend some time in the JavaDoc
before jumping to a conclusion; there is a specific answer in there!)