Reading 6: Specifications

Specifications are the linchpin of teamwork. It’s impossible to delegate responsibility for implementing a function without a specification. The specification acts as a contract: the implementer is responsible for meeting the contract, and a client that uses the function can rely on the contract. In fact, we’ll see that like real legal contracts, specifications place demands on both parties: when the specification has a precondition, the client has responsibilities too.

Reading 6: Specifications Reading 6: Specifications Software in 6.031 Safe from bugs Easy to understand Ready for change Correct today and correct in the unknown future. Communicating clearly with future programmers, including future you. Designed to accommodate change without rewriting. Objectives Understand preconditions and postconditions in function specifications, and be able to write correct specifications Be able to write tests against a specification Understand how to use exceptions Introduction Specifications are the linchpin of teamwork. It’s impossible to delegate responsibility for

related reading

• Reading 4: Specificationsweb.mit.edu
• Reading 7: Designing Specificationsweb.mit.edu
• Reading 5: Designing Specificationsweb.mit.edu
• Reading 15: Promisesweb.mit.edu
• TypeScript: Documentation - The Basicstypescriptlang.org
• Reading 2: Testingweb.mit.edu
• Reading 16: Mutual Exclusionweb.mit.edu
• CSC 151 - Documenting Your Codeeikmeier.sites.grinnell.edu
• Reading 13: Map, Filter, Reduceweb.mit.edu
• How to write the perfect functionyoutube.com
• Reading 3: Testingweb.mit.edu
• Reading 18: Message-Passing and Networkingweb.mit.edu