Search for tag: "specification"

SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly

Title: Project Everest: Verified Secure…

+11 More
From  Ross Tate February 01, 2021 10 plays

Lesson 28.5 Generator Design

Now that we know how generators work, it is time…

+19 More
From  Hannah Lee December 03, 2020 60 plays

Lesson 27.6 Application State

Even though you only need to implement three…

+19 More
From  Hannah Lee November 30, 2020 67 plays

Lesson 26.5 While-Loops vs For-Loops

We can always replace for-loops with while-loops,…

+19 More
From  Hannah Lee November 12, 2020 81 plays

Lesson 26.4 While-Loop Patterns

In this video we introduce two new patterns for…

+19 More
From  Hannah Lee November 12, 2020 77 plays

Zoom Nov. 3. Object-Oriented Design

In ths presentation, we will spend the time…

+19 More
From  Hannah Lee November 08, 2020 37 plays

Lesson 23.8 Properties (OPTIONAL)

This video introduces an advanced topic that is…

+19 More
From  Hannah Lee November 08, 2020 34 plays

Lesson 21.5 Data Encapsulation

In this previous video we introduced the concept…

+19 More
From  Hannah Lee October 30, 2020 108 plays

Lesson 21.3 Interface Implementation

Once you have the interface to a class, it is…

+19 More
From  Hannah Lee October 30, 2020 100 plays

Lesson 21.2 Interface Design

When designing a class, we need to come up with…

+19 More
From  Hannah Lee October 30, 2020 98 plays

Lesson 21.1 Interface vs Implementation

When we implement (or define) a function, we are…

+19 More
From  Hannah Lee October 30, 2020 171 plays

Lesson 20.5 Method Definitions

In addition to attributes, objects also have…

+19 More
From  Hannah Lee October 27, 2020 122 plays

Lesson 20.4 Classes Specifications

Classes are something we can define. That means…

+19 More
From  Hannah Lee October 27, 2020 106 plays

Lesson 20.1 Class Definitions

In this video we show you the basic format of a…

+19 More
From  Hannah Lee October 27, 2020 131 plays

Lesson 18.4 Nested Slicing

Slicing a list creates a copy. In this video we…

+19 More
From  Hannah Lee October 27, 2020 83 plays

Lesson 17.10 Recursion and Helper Functions

Divide-and-conquer is not the only example of…

+19 More
From  Hannah Lee October 19, 2020 343 plays