Profesores:

• Mike Barnett Microsoft Research

Mike Barnett trabaja en Microsoft Corporation desde Julio de 1995. Ha formado parte de los Grupos de Procesamiento de Lenguaje Natural, Bases de Ingeniería del Software y actualmente del grupo de Métodos y Lenguajes de Programación. Con anterioridad a su incorporación a Microsoft, fue profesor asistente de Ciencias de la Computación en la Universidad de Idazo. Tiene un doctorado otorgado por la Universidad de Texas, en 1992. Actualmente trabaja en el grupo de Spec#.

• Shaz Qadeer, Microsoft Research

Shaz Qadeer es un miembro de Microsoft Corporation, y trabaja para mejorar la fiabilidad del software proveyendo a los programadores de herramientas automáticas para analizar sus programas. Está interesado en una variedad de técnicas de análisis de programas tales como prueba autómática de teoremas, verificación en tiempo real, etc. Su trabajo está centrado en la aplicación de esas técnicas a programas concurrentes.

Idioma:

Inglés

Turno:

Noche (19 a 22 hs)

Requisitos:

Conocimientos de programación en lenguaje de alto nivel (procedural/Orientado a objetos)

Síntesis:

This course addresses the issue of automatically verifying object-oriented programs. It introduces a new programming system (language and tools) for the .NET Framework that allows specifications to be connected directly to the source language. The language allows the concise recording of detailed design decisions within the source code while the tools enforce these decisions either at compile-time, run-time, or both.

As well as being a presentation of state-of-the-art research, the course is meant to provide an introduction sufficient for attendees to begin using Spec#, either directly for programming, for teaching, or as a research platform

Más información:

Ver descripción completa del curso

Examen:

exam.zip