Completed
The Workflow
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Enforce Inform Ignore Assume - Gradual Adoption of Contracts in Production Code
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Agenda
- 3 What is a contract
- 4 Examples of contracts
- 5 Undefined behavior
- 6 Contract no language
- 7 Contract no Java
- 8 Preconditions
- 9 Postconditions
- 10 Invariants
- 11 Error Reporting
- 12 Guarantees
- 13 Changing Promises
- 14 Finding a Contract
- 15 Contract Terminology
- 16 Wide vs Narrow Contracts
- 17 Survey Results
- 18 Example
- 19 Post Conditions
- 20 Operating Throws
- 21 Simple Function
- 22 Bug in Implementation
- 23 Changing the Contract
- 24 Is Another Wide Contract Better
- 25 Plug
- 26 Contract Tech
- 27 Test Drivers vs Unit Tests
- 28 C vs C Standard
- 29 Key Issues
- 30 Expensive Checks
- 31 Customization
- 32 Contract
- 33 The Workflow
- 34 Simple First Step
