Search for tag: "specification"

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 59 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 341 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 367 plays 0  

UniSim Workshop 2 - BTX Separation Solutions

UniSim Workshop 2 - BTX Separation Solutions

From  Mennatallah Labib 0 likes 39 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 18 plays 0  

Top Tips: Job Applications

Top tips for job applications

From  Jane Challinor 0 likes 204 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 110 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 93 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 95 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 37 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 28 plays 0  

Gaussian Naive Bayes Classifier

Gaussian Naive Bayes Classifier

From  Nigel Goddard 6 likes 4,363 plays 0