Pest: From the lab to the classroom

Automated software verification is an active field of research which has made enormous progress both in theoretical and practical aspects. In recent years, an important effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide po...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: De Caso, G., Garbervetsky, D., Gorín, D.
Formato: CONF
Materias:
Eclipse plug-in
Language design
Teaching
Verifiability
Active field
Aliasing
Design drivers
First-year
Key parts
Language features
Plug-ins
Programming language
Software verification
Teaching tools
Undergraduate students
Equipment testing
School buildings
Students
Verification
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p5_DeCaso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares