Inicio

Semestre 2019-18

Nombre del curso: Verificación de Software
Course Name:
Créditos: 4
Profesor: Carlos Varela
Olga Mariño

Verificación de Software

Descripción general del curso

ev 2019 MISIS 00
Este curso permitirá a los estudiantes comprender y aplicar técnicas de verificación de software con un énfasis particular en los métodos de prueba fundamentales. El curso cubrirá los métodos de prueba que incluyen el encadenamiento de implicaciones, aplicado al razonamiento ecuacional, la lógica sentencial y la lógica de primer orden. El curso también cubrirá pruebas sobre tipos de datos fundamentales y algoritmos. El curso utilizará el lenguaje de deducción / computación dual de Athena y el libro de prensa del MIT “Métodos de prueba fundamentales en informática” por Konstantine Arkoudas y David Musser.

Prerequisitos: se espera familiaridad con la lógica de primer orden, y matemáticas discretas. El estudiante también debería haber tomado cursos en estructuras de datos y algoritmos. El conocimiento de la programación funcional sería útil, pero no es obligatorio.

Información del curso

 

 

A

 

Fecha:

Horario:

   Idioma:

   Profesores:

12 de Junio al 4 de Julio

Lunes a Viernes
(1:00 p.m. – 3:50 p.m.)

  Español

 Carlos Varela

Domingo
02
Lunes
03
Martes
04
Miércol.
05
Jueves
06
Viernes
07
Sábado
08
Domingo
09
Lunes
10
Martes
11
Miércol.
12
Jueves
13
Viernes
14
Sábado
15
Domigo
16
Lunes
17
Martes
18
Miércol.
19
Jueves
20
Viernes
21
Sábado
22
Domigo
23
Lunes
24
Martes
25
Miércol.
26
Jueves
27
Viernes
28
Sábado
29
Domigo
30
Lunes
1
Martes
02
Miércol.
03
Jueves
04
Viernes
05
Sábado
06
Lunes a Viernes
1:00 p.m. – 3:50 p.m.

Cupos:

 
Estudiantes MISIS:

 
Otros estudiantes:

15

35

Valido como:

 
Estudiantes MISIS:

 
Estudiantes MISO:

 
Estudiantes otras maestrías:

 
Estudiantes ISIS:

Curso de profundización

Curso de profundización

Curso electivo

Electiva profesional

Profesores

 Carlos Varela

ext marlon dumas

  RPI Estados Unidos

Hoja de vida
Dr. Carlos A. Varela received his B.S. with honors, M.S., and Ph.D. in Computer Science at the University of Illinois at Urbana-Champaign. Dr. Varela is Associate Editor and Information Director of the ACM Computing Surveys journal, and has served as Guest Editor of the Scientific Programming journal. Dr. Varela is a recipient of several research grants including the NSF CAREER award, two IBM SUR awards, and two IBM Innovation awards. His current research interests include web-based and internet-based computing, middleware for adaptive distributed systems, concurrent programming models and languages, and software development environments and tools. For more information on Prof. Varela’s group’s research, please visit the Worldwide Computing Lab at http://wcl.cs.rpi.edu/

Evento patrocinado por :