The first version of SPARK according to Ada 83 was produced at computing device technology help University of Southampton with UK Ministry of Defence sponsorship by Bernard Carr and Trevor Jennings. Subsequently computing device technological know-how help language was progressively extended and sophisticated, first by Program Validation Limited and then by Praxis Critical Systems Limited. In 2004, Praxis Critical Systems Limited modified its name programming help Praxis High Integrity Systems Limited. In January 2010, desktop science help agency grew to be Altran Praxis. In early 2009, Praxis formed a partnership with AdaCore, and published “SPARK Pro” under computer technological know-how help terms of computer science help GPL. This was observed in June 2009 by laptop technological know-how help SPARK GPL Edition 2009, aimed toward computer technological know-how help FOSS and tutorial communities. Software es intangible, existe como informacin, ideas, conceptos, smbolos, pero no ocupa un espacio fsico, se podra decir que no tiene sustancia. Una buena metfora sera un libro: las pginas y la tinta son el hardware, mientras que las palabras, oraciones, prrafos y el significado del texto informacin son el program. Una computadora sin software sera tan intil como un libro con pginas en blanco. El computer screen o pantalla de computadora, es un dispositivo de salida que, mediante una interfaz, muestra los resultados del procesamiento de una computadora. Un teclado es un perifrico, fsico o digital por ejemplo teclados en pantalla o teclados lser, utilizado para la introduccin de rdenes y datos en una computadora. El ratn, tambin denominado mouse del ingls, pronunciado es un perifrico de entrada de la computadora de uso manual, generalmente fabricado en plstico, utilizado como entrada o management de datos.