specifications - Caltech

More documents

Recommendations

Info

Changing Specificands/** REQUIRES: x >= 1.* EFFECTS:* Returns some integer* y s.t. 0 < y 2
Stronger/Weaker• Let S and T be specifications.• Definition: S is stronger than T if(specificand set of S) ⊆ (specificand set of T)– Intuition: Anything that satisfies S satisfies T.– Maybe not conversely.– T is “easier” to satisfy.• Stronger specifications give clients moreinformation.• Weaker specifications give implementors morefreedom.27
Page 1 and 2: CS 3Introduction to Software Engine
Page 3 and 4: Announcement• Welcome to second
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 23 and 24: Changing Specificands/** REQUIRES:
Page 25: Changing Specificands/** REQUIRES:
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?