Lecture Notes
lec4.pdf
Description:
This resource contains the following topics Introduction, Contracts, Firewalls, and Decoupling, Behavioral Equivalence, Specification Structure, Find Revisited, Specification for a Mutating Method, Declarative Specification, Specification Ordering, Judging Specifications, Conclusion.
Resource Type:
Lecture Notes
pdf
134 kB
lec4.pdf
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
