🇪🇸 ¿Cómo se combinan los métodos formales con el desarrollo ágil? | CH AMA 5 Dic 2019

:es: Transcripción al español de un fragmento de “Surprise AMA December 5th, 2019

Del minuto 14:00 al 15:20 del video original

Publicado en el canal de Youtube de Charles Hoskinson el 5 de Diciembre de 2019

Agradecemos la contribución del buscador AMA de adatainment.com por ayudar a encontrar preguntas relevantes

Enlace a la versión doblada al español


¿Puedes explicar un poco más cómo logran usar métodos formales con desarrollo ágil?

Esa es la pregunta de 64 mil que no voy a explicar, escribimos un documento y ese documento de hecho ha circulado internamente y cuando sea publicado explicará nuestras experiencias y lo que aprendimos de ello. De ninguna manera hemos terminado ahí, hay un montón de cosas por hacer, pero será una de las grandes historias de la experiencia de IOHK donde fuimos capaces de obtener el valor de los métodos formales sin tener que usar métodos formales pesados e igualmente ser capaz de entrar en ciclos de lanzamiento.

Por ejemplo, ahora estamos haciendo esto con la especificación Goguen, donde tenemos el modelo UTXO extendido, tenemos que adaptar las reglas Shelley, que corresponden con ello, Polina actualmente está haciendo esto, en tiempo real con la implementación de esas reglas del libro mayor en tiempo real con la prueba basada en propiedades. Es realmente genial ver todas estas cosas juntarse y es genial ver cuán increíble estas cosas son para la calidad del software, realmente no hay muchos errores con los que tenemos que lidiar, y cuando los encontramos, somos capaces de repararlos muy rápidamente, la calidad del software es extraordinariamente alta, es genial.