# Search for tag: "specification"

#### 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 on March 31st, 2021 0 likes 70 plays 0

#### Distillation Lecture 1 2020 part 6

Distillation Lecture 1 2020 part 6

From  John Christy on December 24th, 2020 0 likes 76 plays 0

#### Distillation Lecture 1 2020 part 3

Distillation Lecture 1 2020 part 3

From  John Christy on December 24th, 2020 0 likes 50 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 on November 1st, 2020 0 likes 312 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 on November 1st, 2020 0 likes 331 plays 0

#### UniSim Workshop 2 - BTX Separation Solutions

UniSim Workshop 2 - BTX Separation Solutions

From  Mennatallah Mohamed Awny Ali Labib on October 8th, 2020 0 likes 17 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 on October 4th, 2020 0 likes 16 plays 0

#### Top Tips: Job Applications

Top tips for job applications

From  Jane Challinor on September 25th, 2020 0 likes 57 plays 0

#### 3b - Relationship between tolerance and target value

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

From  Lesley Gibson on September 3rd, 2020 0 likes 99 plays 0

#### 1b - Phases of the Product Development Cycle

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

From  Lesley Gibson on September 3rd, 2020 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 on March 2nd, 2019 0 likes 71 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 on October 29th, 2018 0 likes 23 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 on October 29th, 2018 0 likes 20 plays 0

#### Gaussian Naive Bayes Classifier

Gaussian Naive Bayes Classifier

From  Nigel Goddard on September 17th, 2016 3 likes 3,343 plays 0