20:03

Conceptos avanzados sobre especificación de software (05)

15:39

Conceptos avanzados sobre especificación de software (04)

16:48

Conceptos avanzados sobre especificación de software (03)

14:10

Conceptos avanzados sobre especificación de software (02)

29:03

Conceptos avanzados sobre especificación de software (01)

47:11

Introducción a CSP (09)

29:07

Introducción a CSP (08)

22:11

Introducción a CSP (07)

24:13

Introducción a CSP (06)

36:08

Introducción a CSP (05)

28:54

Introducción a CSP (04)

23:05

Introducción a CSP (03)

28:28

Introducción a CSP (02)

17:31

Introducción a CSP (01)

17:20

Statecharts (06)

16:46

Statecharts (05)

23:47

Statecharts (04)

25:07

Statecharts (03)

32:26

Statecharts (02)

34:30

Statecharts (01)

23:43

Relacionar R con S: las diferencias entre R y S

28:42

Relacionar R con S (el modelo WRSPM)

26:17

Invariantes de estado (en la notación Z)

21:23

Designaciones: relacionar R con S

13:13

Composición de operaciones en notación Z

09:40

Promoción de operaciones en notación Z (03)

11:25

Promoción de operaciones en notación Z (02)

18:39

Promoción de operación en notación Z (01)

34:21

Tipos esquema en la notación Z

34:04

Principios de la Ingeniería de Requerimientos (01)

51:44

Semántica formal de un lenguaje de programación (03)

29:59

Semántica formal de un lenguaje de programación (01)

22:25

Semántica formal de un lenguaje de programación (02)

34:00

Introducción a la arquitectura de software (02)

29:14

Introducción a la arquitectura de software (01)

14:03

Formalizar o no formalizar esa NO es la cuestión

24:15

Las 4 dificultades fundamentales del testing de software

21:56

Introducción al testing de software

23:37

V&V de distintos aspectos de un programa

20:45

Introducción a la Validación y Verificación de Software

01:21:11

Introducción a la Ingeniería de Software (01)

22:26

Introducción a los patrones de diseño (01)

21:56

Aplicación del patrón de diseño Método de Fabricación (01)

21:18

Matemática para programadores (11)

14:19

Matemática para programadores (10)

12:55

Matemática para programadores (09)

14:14

Matemática para programadores (08)

18:36

Matemática para programadores (07)

18:31

Introducción a los métodos formales (01)

12:46

Matemática para programadores (06)

12:32

Matemática para programadores (05)

07:42

Matemática para programadores (04)

14:26

Matemática para programadores (03)

16:09

Matemática para programadores (02)

04:22

En Argentina la universidad es libre y gratuita también para extranjeros

21:10

Matemática para programadores (01)

26:36

Aplicación del patrón de diseño Visitante a un vídeo juego muy simple (01)

27:24

Aplicación del patrón de diseño Puente a un vídeo juego muy simple (02)

22:17

Dos ejemplos simples de aplicación del patrón de diseño Puente (01)

20:07

Aplicación del patrón de diseño Fábrica Abstracta (01)