Software Quality

  • Period: to

    Ada Lovelace

    • Matemática y escritora inglesa, considerada la primera programadora de la historia.
    • Tradujo y amplió un artículo sobre la Máquina Analítica de Babbage, incluyendo un algoritmo para calcular números de Bernoulli (primer programa de computación).
    • Visionaria del potencial del software: "La máquina analítica puede hacer cualquier cosa que sepamos ordenarle que realice".
    • Identificó que los errores podían provenir no solo del hardware, sino también de defectos en la programación.
  • Period: to

    Origen Y Desarrollo de la Computación

    Durante este tiempo vamos a ver como dos personajes sentaron las bases de lo que hoy se conoce como computación y el desarrollo de software.
  • Period: to

    Alan Turing

    • Matemático y pionero de la computación, sentó las bases de la verificación de software.
    • Planteó la pregunta: "¿Cómo comprobar que un programa es correcto?" y propuso un método general de prueba.
    • Estableció que el probador debe ser diferente al programador para garantizar objetividad.
    • Su trabajo es fundamental en la teoría de la calidad del software moderno.