•  

La prueba de software: los métodos formales y los computer languages

A session at SG Conference & Expo 2014

  • Luis Vinicio León

Wednesday 25th June, 2014

4:00pm to 5:00pm (LMT)

A lo largo de la relativamente corta historia de la ingeniería de software se han desarrollado varios enfoques para elevar la calidad de productos de software. En esta sesión se abordarán dos de ellos, la prueba de software y los métodos formales: se mostrarán los alcances algorítmicos de la prueba de software y las estrategias heurísticas creadas para superarlos; se mostrará un ejemplo de un método formal, sus aplicaciones y alcances. Al comparar y vincular ambos enfoques confluiremos en el concepto de computer language, una de las formas con mayor valor agregado de empaquetar conocimiento y experiencia que puede ser útil para muchas organizaciones desarrolladoras de software. Pero como veremos, los computer languages son también un mecanismo que nos permite elevar la productividad y efectividad de la prueba de software.

About the speaker

This person is speaking at this event.
Luis Vinicio León

Director de e-Quallity

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Time 4:00pm5:00pm LMT

Date Wed 25th June 2014

Short URL

lanyrd.com/sdbrqw

View the schedule

Share

See something wrong?

Report an issue with this session