2012
Pluralsight
Michael PErry
5h 51m
English
Tools and patterns for using mathematics to write more reliable and readable software
Bertrand Meyer defined Design by Contract as a system of documenting and proving the responsibilities of a software system.
Today, we have tools built into our compilers and type systems that help us to prove those assertions.
This course will introduce you to some of those tools, define systems of logic for reasoning about code, and recommend patterns for building provable software.
FileName Size Length Bit rate Data rate Resolution Frame Rate Parent Folder
01.Introduction 3.91 MB 0:02:50 128kbps 74.00 1024x768 15 frames/second 01.Predicate Calculus
02.Predicates and First Order Logic 7.18 MB 0:05:14 128kbps 114.00 1024x768 15 frames/second 01.Predicate Calculus
03.Inference 16.8 MB 0:12:17 128kbps 160.00 1024x768 15 frames/second 01.Predicate Calculus
04.Induction 11.1 MB 0:08:26 128kbps 83.00 1024x768 15 frames/second 01.Predicate Calculus
05.Axioms 9.20 MB 0:06:36 128kbps 146.00 1024x768 15 frames/second 01.Predicate Calculus
01.Introduction 1.83 MB 0:01:15 128kbps 180.00 1024x768 15 frames/second 02.Design by Contract
02.Cache and Query 12.2 MB 0:06:44 128kbps 283.00 1024x768 15 frames/second 02.Design by Contract
03.Preconditions 6.22 MB 0:04:27 128kbps 263.00 1024x768 15 frames/second 02.Design by Contract
04.Eliminating Preconditions 12.2 MB 0:06:23 128kbps 368.00 1024x768 15 frames/second 02.Design by Contract
05.Postconditions and Invariants 12.3 MB 0:09:09 128kbps 107.00 1024x768 15 frames/second 02.Design by Contract
06.Strict Preconditions 18.1 MB 0:10:07 128kbps 480.00 1024x768 15 frames/second 02.Design by Contract
07.Strength 15.2 MB 0:11:03 128kbps 159.00 1024x768 15 frames/second 02.Design by Contract
08.Inheritance 12.9 MB 0:08:12 128kbps 252.00 1024x768 15 frames/second 02.Design by Contract
09.Correctness 6.01 MB 0:04:23 128kbps 152.00 1024x768 15 frames/second 02.Design by Contract
10.Inference 23.9 MB 0:14:29 128kbps 370.00 1024x768 15 frames/second 02.Design by Contract
11.Summary 1.32 MB 0:00:59 128kbps 54.00 1024x768 15 frames/second 02.Design by Contract
01.Introduction 2.02 MB 0:01:28 128kbps 92.00 1024x768 15 frames/second 03.Code Contracts
02.Example - Linked List 17.2 MB 0:10:15 128kbps 241.00 1024x768 15 frames/second 03.Code Contracts
03.Satisfying Preconditions 21.3 MB 0:11:07 128kbps 760.00 1024x768 15 frames/second 03.Code Contracts
04.Invariants 14.2 MB 0:07:47 128kbps 750.00 1024x768 15 frames/second 03.Code Contracts
05.Help When Code Contracts Fails 15.1 MB 0:08:20 128kbps 766.00 1024x768 15 frames/second 03.Code Contracts
06.Inheritance 40.7 MB 0:19:41 128kbps 806.00 1024x768 15 frames/second 03.Code Contracts
07.Conclusion 6.58 MB 0:04:52 128kbps 161.00 1024x768 15 frames/second 03.Code Contracts
01.Introduction 5.26 MB 0:04:08 128kbps 64.00 1024x768 15 frames/second 04.Patterns
02.Parameter Pattern 875 KB 0:00:41 128kbps 22.00 1024x768 15 frames/second 04.Patterns
03.Example - Parameter Pattern 3.96 MB 0:02:02 128kbps 242.00 1024x768 15 frames/second 04.Patterns
04.Callback Pattern 1.04 MB 0:00:50 128kbps 25.00 1024x768 15 frames/second 04.Patterns
05.Example - Callback Pattern 11.9 MB 0:05:40 128kbps 540.00 1024x768 15 frames/second 04.Patterns
06.Factory Methods 3.55 MB 0:02:43 128kbps 81.00 1024x768 15 frames/second 04.Patterns
07.Example - Factory Methods 8.49 MB 0:04:24 128kbps 415.00 1024x768 15 frames/second 04.Patterns
08.Constructor Pattern 1.39 MB 0:01:05 128kbps 25.00 1024x768 15 frames/second 04.Patterns
09.Example - Constructor 7.04 MB 0:03:37 128kbps 461.00 1024x768 15 frames/second 04.Patterns
10.Example - Combining Patterns 5.68 MB 0:02:52 128kbps 294.00 1024x768 15 frames/second 04.Patterns
11.Socket API Improvement 49.2 MB 0:19:43 128kbps 1109.00 1024x768 15 frames/second 04.Patterns
12.Conclusion 8.00 MB 0:06:13 128kbps 143.00 1024x768 15 frames/second 04.Patterns
01.Introduction 1.75 MB 0:01:16 128kbps 86.00 1024x768 15 frames/second 05.Degrees of Freedom
02.Etch 3.10 MB 0:02:22 128kbps 49.00 1024x768 15 frames/second 05.Degrees of Freedom
03.Definitions 5.61 MB 0:03:46 128kbps 247.00 1024x768 15 frames/second 05.Degrees of Freedom
04.Example - Ledger 9.27 MB 0:05:30 128kbps 373.00 1024x768 15 frames/second 05.Degrees of Freedom
05.Proving Degrees of Freedom 29.1 MB 0:14:13 128kbps 569.00 1024x768 15 frames/second 05.Degrees of Freedom
06.Message Bus 10.8 MB 0:05:41 128kbps 443.00 1024x768 15 frames/second 05.Degrees of Freedom
07.Example - Message Bus 12.1 MB 0:05:02 128kbps 538.00 1024x768 15 frames/second 05.Degrees of Freedom
08.Dependency Tracking 8.16 MB 0:05:41 128kbps 150.00 1024x768 15 frames/second 05.Degrees of Freedom
09.Example - Dependency Tracking 27.4 MB 0:11:08 128kbps 673.00 1024x768 15 frames/second 05.Degrees of Freedom
10.Summary 3.67 MB 0:02:40 128kbps 103.00 1024x768 15 frames/second 05.Degrees of Freedom
01.Introduction 2.00 MB 0:01:26 128kbps 97.00 1024x768 15 frames/second 06.Immutability
02.Assignment Statements 16.8 MB 0:09:37 128kbps 259.00 1024x768 15 frames/second 06.Immutability
03.Constructors (revisited) 4.83 MB 0:03:31 128kbps 136.00 1024x768 15 frames/second 06.Immutability
04.Class Responsibilities 11.1 MB 0:05:56 128kbps 498.00 1024x768 15 frames/second 06.Immutability
05.Categories of State and Classes 11.0 MB 0:07:59 128kbps 128.00 1024x768 15 frames/second 06.Immutability
06.Example - Categories 18.7 MB 0:09:40 128kbps 336.00 1024x768 15 frames/second 06.Immutability
07.Dependency Chains 3.77 MB 0:02:30 128kbps 131.00 1024x768 15 frames/second 06.Immutability
08.Example - Dependency Chain 28.2 MB 0:12:21 128kbps 514.00 1024x768 15 frames/second 06.Immutability
09.Example - Mutable Dependency Chain 11.8 MB 0:06:03 128kbps 299.00 1024x768 15 frames/second 06.Immutability
10.Conclusion 6.83 MB 0:04:49 128kbps 144.00 1024x768 15 frames/second 06.Immutability
http://pluralsight.com/training/Courses/TableOfContents/provable-code
Download File Size:529.13 MB
|
