Formal specification languages

Specification and Description Language

Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. (Wikipedia).

Specification and Description Language
Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

The C programming language (unit 2) - 4 of 5 (old version; watch new version instead)

A continuation of discussing the C programming language. This unit goes more into depths on pointers and arrays. Visit http://codeschool.org

From playlist The C language (unit 2)

Video thumbnail

Project 1 Section 2 Part 1

Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.

From playlist The Julia Computer Language

Video thumbnail

Programming Languages - (part 6 of 7)

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Programming Languages

Video thumbnail

Lesson 05_07 Dictionaries

With dictionaries we create both a set of elements and specify a key for each. We can reference these keys instead of the usual indices wes used in arrays.

From playlist The Julia Computer Language

Video thumbnail

Lesson 04_02 Single expression functions

The first syntax for creating a function is the single expression function. It looks a lot like a mathematical function.

From playlist The Julia Computer Language

Video thumbnail

Every Programming Language in (another) 15 Minutes: Data Types

A very brief survey of the most essential concepts about data types common to most programming languages. PUBLICATION PERMISSIONS: Original video was published with the Creative Commons Attribution license (reuse allowed) ATTRIBUTION CREDITS: Original video source: https://www.youtube.

From playlist Software Development

Video thumbnail

How to Make (Define) a Function in Python

This video shows the basics of making and calling functions in Python and supplying functions with default arguments. Code available in the pinned comment below!

From playlist Python Basics

Video thumbnail

Language Assessment 1 - Developing a Speaking Assessment

In this video, I briefly discuss how a Speaking Assessment can be developed and administered. The video was originally was created for my MA students at the National Institute of Education of Singapore, but I think there are some useful tips and guidelines which is applicable to other asse

From playlist Language Assessment & Technology

Video thumbnail

Rasa Reading Group: Template Guided Text Generation for Task-Oriented Dialogue

This week we'll be starting a new paper: "Template Guided Text Generation for Task-Oriented Dialogue" by Mihir Kale and Abhinav Rastogi from EMNLP 2020. Link to paper: https://www.aclweb.org/anthology/2020.emnlp-main.527.pdf

From playlist Rasa Reading Group

Video thumbnail

UML 2 Component Diagrams

UML Component Diagram Cheat Sheet: http://goo.gl/Ybhhu Welcome to my tutorial on UML 2.0 Component Diagrams! Blocks of code are set up as components to create reusable blocks of code. Component diagrams are then used to show how components are used to create software systems. On top of c

From playlist UML 2.0 Tutorial

Video thumbnail

Rasa Reading Group: Recent Neural Methods on Slot Filling and Intent Classification (Part 2)

Link to part 1: https://youtu.be/eGr8Im5Wu8k This week we'll be continuing "Recent Neural Methods on Slot Filling and Intent Classification for Task-Oriented Dialogue Systems: A Survey" by Samuel Louvan and Bernardo Magnini. It was published at the 28th International Conference on Computa

From playlist Rasa Reading Group

Video thumbnail

Linux Documentation In 2017

A list of Linux resources (and the context/info you need to use them) that will help you troubleshoot, learn new things, and find answers to questions you have while using Linux. 1:09 Man pages: man $COMMAND 4:09 Info pages: info $COMMAND 5:39 whatis $command 6:31 apropos $searchterm wh

From playlist Programming and Software Development (General)

Video thumbnail

Spoken and Interactional Competence | Part 1

In this video, I provide an introduction to Spoken and Interactional Competence.

From playlist Interactional Competence

Video thumbnail

GPT-3: Language Models are Few-Shot Learners (Paper Explained)

#gpt3 #openai #gpt-3 How far can you go with ONLY language modeling? Can a large enough language model perform NLP task out of the box? OpenAI take on these and other questions by training a transformer that is an order of magnitude larger than anything that has ever been built before and

From playlist Papers Explained

Video thumbnail

The Go Language (1 of 4)

An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org

From playlist The Go Language

Related pages

TNSDL | Turing completeness | Specification language