Cancelar Registro
¿Quieres cancelar su registro?

La transmisión se iniciará automáticamente en

¡Espera!

En instantes la transmisión se iniciará automáticamente.

No ha sido posible sincronizar las diapositivas.

Intenta nuevamente más tarde.

grabado en vivo en pausa reconectando

Software verification, com José Valim

Finalizar webinar?

Al finalizar usted ya no puede volver a transmitir.

Este dispositivo no es compatible.

Software verification, com José Valim

    • 18/11/2017 às 05:30 p.m.
    • Grabado el 18 de Noviembre de 2017 a las 17:30
    • 79 vistas
Materiais
Descripción

How can we guarantee that the software we write is behaving how we want it to? On this talk, José Valim will explore seoftware verification and different techniques such as code review, property-based tests, model checkers and others

José Valim: I am the creator of the Elixir programming language, developed as part of my work as the Director of R&D at Plataformatec, and an active member of the Open Source community. I am also part of the Rails Core Team since early 2010 and author of “Crafting Rails Applications”, a book that covers the internals of Rails beyond the basics. I have also received the Ruby Hero Award as a recognition for my work on other Open Source projects. I graduated in Engineering at Escola Politécnica de São Paulo (Brazil) and have a Machine Learning master’s degree from Politecnico di Torino, in Italy. I am frequently travelling around the globe speaking at conferences and doing consultancy work. Check out Plataformatec website if you’d like to work together: http://plataformatec.com/

Categoría Tecnologia
Exhibir Más
Organizado por
  • Locaweb

    Pioneira e líder em hospedagem de sites no País, oferece um portfólio completo de serviços de internet com foco no sucesso dos seus clientes.

¡Espera!