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
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
