Search for tag: "specification"

57 Media

01:04:12 SOIL Seminar: Project Everest: Verified Secure… SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly	SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified… crypto memory compiler stack instance implementation performance algorithms specification protocol assembly proposal From Ross Tate 10 plays
09:00 Lesson 28.5 Generator Design Lesson 28.5 Generator Design	Lesson 28.5 Generator Design Now that we know how generators work, it is time to write our own. In this video we show how easy it is. We just take out experience with the accumulator pattern and replace the accumulator with a… accumulator generator function average input numbers yield element tuple loop idea parameter specification object generators statement answer elements practice pattern From Hannah Lee 54 plays
06:27 Lesson 27.6 Application State Lesson 27.6 Application State	Lesson 27.6 Application State Even though you only need to implement three methods in GameApp subclass, this methods will eventually get very long. In this video we introduce the concept of application state, and talk about how… circle helper application attribute things thing key space invariants angle factor invariant specification names enumeration ellipse enemy update numbers categories From Hannah Lee 66 plays
06:05 Lesson 26.5 While-Loops vs For-Loops Lesson 26.5 While-Loops vs For-Loops	Lesson 26.5 While-Loops vs For-Loops We can always replace for-loops with while-loops, but should we? In this video we talk about the trade-offs of the two control structures and why it might be better to use over the other. loop fibonacci loops sequence squares variable function range thing bugs module n. things python iterator specification accumulator elements calculation recursion From Hannah Lee 67 plays
06:02 Lesson 26.4 While-Loop Patterns Lesson 26.4 While-Loop Patterns	Lesson 26.4 While-Loop Patterns In this video we introduce two new patterns for while-loops: using a goal condition and using a boolean tracking variable. We see how these patterns allow us to write functions that we could never… goal score dice response question function game specification variable input roll loop answer pattern luck ideas past condition patterns conditions From Hannah Lee 70 plays
50:17 Zoom Nov. 3. Object-Oriented Design Zoom Nov. 3. Object-Oriented Design	Zoom Nov. 3. Object-Oriented Design In ths presentation, we will spend the time creating several example classes. This is another major part of the next exam.When we work with classes, it is very important to pay attention to… class things string owner suffix plate license prefix assignment specification attribute attributes thing question folder object lot alright wrapper prelim From Hannah Lee 25 plays
09:37 Lesson 23.8 Properties (OPTIONAL) Lesson 23.8 Properties (OPTIONAL)	Lesson 23.8 Properties (OPTIONAL) This video introduces an advanced topic that is completely optional and will not appear on any exam. Classes like RGB and Point3 appear to enforce their invariants without any getters and setters.… property attribute numerator method getter setter fraction class properties tutor invariant setters getters denominator decorator module fact specification attributes rgb From Hannah Lee 30 plays
09:05 Lesson 21.5 Data Encapsulation Lesson 21.5 Data Encapsulation	Lesson 21.5 Data Encapsulation In this previous video we introduced the concept of getters and setters. But how do we force the user to use these when the attribute is so much simpler. In this video we talk about the concept of… class attribute attributes method object methods hour interface underscore things specification setters getters hashtag definer thing setter folder tutor string From Hannah Lee 93 plays
09:12 Lesson 21.3 Interface Implementation Lesson 21.3 Interface Implementation	Lesson 21.3 Interface Implementation Once you have the interface to a class, it is time to start writing code. As we see in this video, the idea is much the same as writing functions. However, attributes – and specifically… class minutes method invariant hours object attributes specification invariance preconditions function parameter hour invariants methods percent initializer attribute precondition responsibility From Hannah Lee 84 plays
08:59 Lesson 21.2 Interface Design Lesson 21.2 Interface Design	Lesson 21.2 Interface Design When designing a class, we need to come up with the interface first. In this video we talk about how to do that. We approach this problem returning to our understanding of types: a collection of… class attributes values specification rectangle operations thing worker types interfaces card attribute method interface cards edge bottom hours specifications notion From Hannah Lee 82 plays
05:49 Lesson 21.1 Interface vs Implementation Lesson 21.1 Interface vs Implementation	Lesson 21.1 Interface vs Implementation When we implement (or define) a function, we are given a specification and we complete the rest of the body to match the specification. We will do the same thing for classes as well. But as we see in… class specification method interface functions implementation definition object methods classes specifications initializer attributes function definitions docstring afternoon conditions minute editor From Hannah Lee 124 plays
07:47 Lesson 20.5 Method Definitions Lesson 20.5 Method Definitions	Lesson 20.5 Method Definitions In addition to attributes, objects also have methods. In this video, we show how to add a method definition to a class. For the most part, it is as simple as indenting a function definition inside of… method object distance definition class parentheses function point period precondition parameter specification arguments argument difference parameters python error thing header From Hannah Lee 101 plays
03:13 Lesson 20.4 Classes Specifications Lesson 20.4 Classes Specifications	Lesson 20.4 Classes Specifications Classes are something we can define. That means we need a specification to tell us what it means for a definition to be correct. In this video we cover the basics of a class specification, and show… class function attributes specification summary definition invariant boss attribute worker object specifications string invariance definitions preconditions variance conditions pre parameters From Hannah Lee 85 plays
06:46 Lesson 20.1 Class Definitions Lesson 20.1 Class Definitions	Lesson 20.1 Class Definitions In this video we show you the basic format of a class definition. However, classes can contain a lot of features, so our classes will be very simple for this demonstration. class definition function classes specification parentheses word commands objects definitions functions module convention capital command statement statements body lot colon From Hannah Lee 103 plays
06:24 Lesson 18.4 Nested Slicing Lesson 18.4 Nested Slicing	Lesson 18.4 Nested Slicing Slicing a list creates a copy. In this video we show what this means for nested lists. In particular, we show that sometimes a copy is not really a copy after all, and that we have to distinguish… copy row rows folder b. change table thing slice function x. level lists alright element tutor specification practice folders terminal From Hannah Lee 73 plays
09:31 Lesson 17.10 Recursion and Helper Functions Lesson 17.10 Recursion and Helper Functions	Lesson 17.10 Recursion and Helper Functions Divide-and-conquer is not the only example of recursion. It just happens to be one of the most interesting. But in this video we show that even some of the simplest of recursive definitions become… palindrome function letters lowercase letter definition functions uppercase punctuation problem python helper characters recursion series period specification mix sentences change From Hannah Lee 264 plays