ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

316 results

TLA+ - The Temporal Logic of Actions
eXtreme Modelling in Practice - Jesse Davis, Max Hirschhorn, and Judah Schvimer

https://conf.tlapl.us/2020/02-Davis_et_al-eXtreme_Modelling_in_Practice.pdf.

21:39
eXtreme Modelling in Practice - Jesse Davis, Max Hirschhorn, and Judah Schvimer

955 views

5 years ago

Iris Kohler
[CBIS 101] Systems Development

Well, we gotta make them somehow! We introduce the development of information systems, address the challenges that lie within ...

35:24
[CBIS 101] Systems Development

21 views

3 years ago

Confreaks
RubyConf 2016 - To Clojure and back: writing and rewriting in Ruby by Phill MV

RubyConf 2016 - To Clojure and back: writing and rewriting in Ruby by Phill MV Act 1 - State of Grace After many years of Ruby, ...

33:17
RubyConf 2016 - To Clojure and back: writing and rewriting in Ruby by Phill MV

12,756 views

9 years ago

Confreaks
RubyConf 2017: Finding Beauty in the Mundane by Max Tiu

Finding Beauty in the Mundane by Max Tiu Amongst the exciting challenges of making software, there are some tasks we go out ...

27:18
RubyConf 2017: Finding Beauty in the Mundane by Max Tiu

191 views

8 years ago

Confreaks
RailsConf 2014 - Debugger Driven Developement with Pry by Joel Turnbull

When our tests fail all we get is output in a terminal. Testing is core to the culture of Ruby, and the tools are sophisticated, but ...

40:59
RailsConf 2014 - Debugger Driven Developement with Pry by Joel Turnbull

9,431 views

11 years ago

NERSC
01 Introduction to Codee tools Shift Left Performance

So if you look at the tools of software development tools, we can see that there are profilers, there are compilers, there are IDEs, ...

49:26
01 Introduction to Codee tools Shift Left Performance

267 views

3 years ago

Courses by A. Lobianco
SPMLJ 00 KOM 6: Hands on 1 [Intr to Sc Programming and ML with Julia]

SPMLJ 00 KOM 6 - Course: Introduction to Scientific Programming and Machine learning with Julia - Lesson: 00 Kick-off meeting ...

20:15
SPMLJ 00 KOM 6: Hands on 1 [Intr to Sc Programming and ML with Julia]

170 views

4 years ago

NPTEL IIT Guwahati
Lec 43: Note on Agile Development

Design & Implementation of Human-Computer Interfaces URL: https://onlinecourses.nptel.ac.in/noc22_cs125/preview Prof.

43:06
Lec 43: Note on Agile Development

3,003 views

3 years ago

The Carpentries
CarpentryCon @ Home: Make Your Tools, Scripts and Analyses Open and more FAIR

Open science has rapidly gained interest and importance across the academic world and society. It will require researchers to be ...

2:18:15
CarpentryCon @ Home: Make Your Tools, Scripts and Analyses Open and more FAIR

53 views

5 years ago

R Consortium
Session 3C - R Packages 2

Padgham, Mark autotest: Automatic testing of R packages Slides: https://userconf.github.io/talks-2021/session3C_talk1.html#1 ...

56:30
Session 3C - R Packages 2

592 views

4 years ago

nptelhrd
Mod-01 Lec-01 Embedded Systems Basics Session 1

Embedded Software Testing by Madhukeshwara H M,HCL Technologies,Bangalore.For more details on NPTEL visit ...

21:29
Mod-01 Lec-01 Embedded Systems Basics Session 1

33,407 views

10 years ago

EmacsConf and Emacs hangouts
EmacsConf 2024: New in hyperdrive.el: quick install, peer graph, transclusion!

EmacsConf 2024: New in hyperdrive.el: quick install, peer graph, transclusion! - Joseph Turner ...

20:26
EmacsConf 2024: New in hyperdrive.el: quick install, peer graph, transclusion!

543 views

1 year ago

NPTEL IIT Guwahati
Lec 5: Usability Requirements

Design & Implementation of Human-Computer Interfaces Course URL: https://onlinecourses.nptel.ac.in/noc22_cs125/preview Prof ...

40:12
Lec 5: Usability Requirements

8,118 views

3 years ago

Input Output Group
IOHK | Cardano development techniques, with Duncan Coutts, PhD

Cardano is being developed with the aim of making it high assurance software. This is code that is rigorously developed using ...

59:24
IOHK | Cardano development techniques, with Duncan Coutts, PhD

6,776 views

8 years ago

HanzTech
Docker and Kubernetes The Complete Guide: Building a Multi Container Application (08/18)

k8s #kubernetes #docker #docker_beginner #start_docker #starting_with_docker #learningdocker #learningk8s #dockerk8s ...

1:11:39
Docker and Kubernetes The Complete Guide: Building a Multi Container Application (08/18)

88 views

2 years ago

Docker
Dev and Test Agility for Your Database with Docker

Agile practices teach us how to deal with evolving applications but so often the data store is overlooked as a component of your ...

29:48
Dev and Test Agility for Your Database with Docker

2,183 views

5 years ago

Confreaks
RailsConf 2016 -  Reduce Small-Team Culture Shock with Agile by Jamie Riedesel

Reduce Small-Team Culture Shock with Agile by Jamie Riedesel Ever hire someone from a traditional IT organization who ...

32:32
RailsConf 2016 - Reduce Small-Team Culture Shock with Agile by Jamie Riedesel

412 views

9 years ago

nptelhrd
Mod-05 Lec-35 Test Management Tool

Embedded Software Testing by Madhukeshwara H M,HCL Technologies,Bangalore.For more details on NPTEL visit ...

45:40
Mod-05 Lec-35 Test Management Tool

642 views

10 years ago

HanzTech
Docker and Kubernetes The Complete Guide: Dive Into Docker (01/18)

k8s #kubernetes #docker #docker_beginner #start_docker #learningdocker #learningk8s #dockerk8s Additional File: ...

33:31
Docker and Kubernetes The Complete Guide: Dive Into Docker (01/18)

1,373 views

2 years ago

Department of Technical Communication at University of North Texas
TECM 1500 Lecture: Why work in technology

This lecture is used in a course that provides an overview of the technology design + development process and several job roles ...

20:51
TECM 1500 Lecture: Why work in technology

441 views

6 years ago