Search for tag: "specification"

TAS Robots Animation

TAS Robots Animation

From  Informatics at Edinburgh 0 likes 14 plays 0  

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

Philippa Gardner Distinguished Lecture - 60 Years of Computer Science & AI at Edinburgh

From  Informatics at Edinburgh 0 likes 7 plays 0  

Top Tips Job Applications 2023

Recording of our Top Tips for Job Applications session.

From  Thomas Robinson 0 likes 14 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 63 plays 0  

Distillation Lecture 1 2020 part 6

Distillation Lecture 1 2020 part 6

From  John Christy 0 likes 81 plays 0  

Distillation Lecture 1 2020 part 3

Distillation Lecture 1 2020 part 3

From  John Christy 0 likes 57 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 362 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 381 plays 0  

UniSim Workshop 2 - BTX Separation Solutions

UniSim Workshop 2 - BTX Separation Solutions

From  Mennatallah Labib 0 likes 42 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 23 plays 0  

Top Tips: Job Applications

Top tips for job applications

From  Jane Challinor 0 likes 221 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 116 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 94 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 97 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 38 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