Articles liés à Especificación, verificación y derivación formal de...
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores.
Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico?
En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores.
Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico?
En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande