Search for tag: "specification"

LEL2A-W3-8

LEL2A: Week 3, Lecture 8.

From  Itamar Kastner 0 likes 127 plays 0  

Kaltura Capture recording - March 31st 2021, 12:42:39 pm

Video to assist with preparation for final exam for Exercise Prescription for Rehabilitation

From  Claire Fitzsimons 0 likes 70 plays 0  

Lecture 1 Recording

This is the recording of the first lecture (Lecture 1) that took place on Wed 13 January 2021.

From  Wasiu Popoola 0 likes 52 plays 0  

Distillation Lecture 1 2020 part 6

Distillation Lecture 1 2020 part 6

From  John Christy 0 likes 78 plays 0  

Distillation Lecture 1 2020 part 3

Distillation Lecture 1 2020 part 3

From  John Christy 0 likes 53 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng 0 likes 327 plays 0  

CL - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

From  Haoran Peng 0 likes 356 plays 0  

UniSim Workshop 2 - BTX Separation Solutions

UniSim Workshop 2 - BTX Separation Solutions

From  Mennatallah Labib 0 likes 30 plays 0  

Part 7 Senior Phase and the Scottish qualifications Authority - October 4th 2020, 11:22:45 am

Part 7 Senior Phase & SQA

From  Kay Douglas 0 likes 17 plays 0  

Top Tips: Job Applications

Top tips for job applications

From  Jane Challinor 0 likes 118 plays 0  

3b - Relationship between tolerance and target value

Lecture 3b - Relationship between tolerance and target value by Prof Ian Underwood

From  Lesley Gibson 0 likes 101 plays 0  

1b - Phases of the Product Development Cycle

Lecture 1b - Phases of the Product Development Cycle by Prof Ian Underwood

From  Lesley Gibson 0 likes 92 plays 0  

Separation Logic

Advances in Programming Languages 2018/19 Lecture 14: Separation Logic Hoare Logic is a language for making and proving assertions about the behaviour of code: the extension to Separation Logic…

From  Ian Stark 0 likes 84 plays 0  

Practical Tools for Java Correctness

Advances in Programming Languages 2018/19 Lecture 13: Practical Tools for Java Correctness Today’s lecture presented two different facilities designed to help write Java code that does the…

From  Ian Stark 0 likes 29 plays 0  

Specification and Verification

Advances in Programming Languages 2018/19 Lecture 12: Specification and Verification Today's lecture was the first in a block on language techniques and tools that aim to improve program…

From  Ian Stark 0 likes 21 plays 0  

Gaussian Naive Bayes Classifier

Gaussian Naive Bayes Classifier

From  Nigel Goddard 4 likes 4,119 plays 0