6. bibliografia : Flemming Nielson, Hanne Riis Nielson, Chris Hankin (2005). Principles of Program Analysis. (Springer)...................***********Creación Inteligente de software, sistemas y servicios TI.: extraido de .Software QA - ¿Cuáles son los tipos de pruebas software?..................********* Diseño de software, Definición diseño de software. extraido de: https://www.voigtmann.de/es/desarrollo-de-software/diseno-de-software/