specifications - Caltech

More documents

Recommendations

Info

Announcement: “Midterm”• Midterm “project” has two parts.– First part (built into upcoming homework set):Implement a data abstraction I will specify.– Second part (next week’s homework set):Implement a program using that abstraction.2
Announcement• Welcome to second “half” of term.• Shift focus to programming “in the large”.– Specifications, testing, design, analysis.• Final project starts soon.– Begin forming groups now (2-4 persons).– Plan and complete any software development projectyou decide on.– Proposal due Monday, May 9.– No dropping the course after that.– Presentations in class on last day (Jun 4 or May 28).• What should rules for seniors be?3
Page 1: CS 3Introduction to Software Engine
Page 5 and 6: Specifications“logical firewalls
Page 7 and 8: Where Specs Come From• Interpreta
Page 9 and 10: Where Specs Come From• Scenario I
Page 11 and 12: Specificand Sets• For any specifi
Page 13 and 14: Specificand Sets• For any specifi
Page 15 and 16: Changing Specificands/** Returns so
Page 21 and 22: Changing Specificands/** REQUIRES:
Page 27 and 28: Stronger/Weaker• Let S and T be s
Page 29 and 30: Restrictiveness• Client must work
Page 31 and 32: Specifications and Correctness• A
Page 33 and 34: Correctness of Client Code• Most
Page 35 and 36: Correctness of Client Code• Judge
Page 37 and 38: Integration• True or false?If eac

specifications - Caltech

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?