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 28 plays 0  

Distillation Lecture 1 2020 part 6

Distillation Lecture 1 2020 part 6

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

Distillation Lecture 1 2020 part 3

Distillation Lecture 1 2020 part 3

From  John Christy on December 24th, 2020 0 likes 36 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 311 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 330 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 15 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 15 plays 0  

Top Tips: Job Applications

Top tips for job applications

From  Caitlin Jobson on September 25th, 2020 0 likes 39 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 64 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 19 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 17 plays 0